From 889aaef90ec71d1561d7aeccb8c59f51645f9d5c Mon Sep 17 00:00:00 2001
From: nicolasconnault <nicolasconnault>
Date: Mon, 17 Mar 2008 13:14:31 +0000
Subject: [PATCH] MDL-13743 Added realmedia support. Merging from
 MOODLE_18_STABLE

---
 mod/resource/type/file/resource.class.php | 19 ++++++++++++++++++-
 1 file changed, 18 insertions(+), 1 deletion(-)

diff --git a/mod/resource/type/file/resource.class.php b/mod/resource/type/file/resource.class.php
index 0b7c016fb7d..99028ddb5f6 100644
--- a/mod/resource/type/file/resource.class.php
+++ b/mod/resource/type/file/resource.class.php
@@ -253,7 +253,10 @@ class resource_file extends resource_base {
             } else if ($mimetype == 'application/pdf' || $mimetype == 'application/x-pdf') {
                 $resourcetype = "pdf";
                 $embedded = true;
-            }
+            } else if ($mimetype == "audio/x-pn-realaudio") {   // It's a realmedia file
+                $resourcetype = "rm";
+                $embedded = true;
+            } 
         }
 
         $isteamspeak = (stripos($resource->reference, 'teamspeak://') === 0);
@@ -546,6 +549,20 @@ class resource_file extends resource_base {
                 echo '<!--<![endif]-->';
                 echo '</object>';
                 echo '</div>';
+            } else if ($resourcetype == "rm") {
+
+                echo '<div class="resourcecontent resourcerm">'; 
+                echo '<object classid="clsid:CFCDAA03-8BE4-11cf-B84B-0020AFBBCCFA" width="320" height="240">';
+                echo '<param name="src" value="' . $fullurl . '" />';
+                echo '<param name="controls" value="All" />';
+                echo '<!--[if !IE]>-->';
+                echo '<object type="audio/x-pn-realaudio-plugin" data="' . $fullurl . '" width="320" height="240">';
+                echo '<param name="controls" value="All" />';
+                echo '<a href="' . $fullurl . '">' . $fullurl .'</a>';
+                echo '</object>';
+                echo '<!--<![endif]-->';
+                echo '</object>';
+                echo '</div>'; 
 
             } else if ($resourcetype == "quicktime") {
                 echo '<div class="resourcecontent resourceqt">';