From: dongsheng <dongsheng>
Date: Tue, 14 Oct 2008 08:39:55 +0000 (+0000)
Subject: "Chat Module, refreshing in safari fixed, merged from 1.9, MDL-16878"
X-Git-Url: http://git.mjollnir.org/gw?a=commitdiff_plain;h=f298a6255c5a921165964ab93c49267fbc5288ac;p=moodle.git

"Chat Module, refreshing in safari fixed, merged from 1.9, MDL-16878"
---

diff --git a/mod/chat/gui_header_js/jsupdate.php b/mod/chat/gui_header_js/jsupdate.php
index 819628f3ad..a480ccd390 100644
--- a/mod/chat/gui_header_js/jsupdate.php
+++ b/mod/chat/gui_header_js/jsupdate.php
@@ -86,10 +86,17 @@
 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 <html>
     <head>
-        <title> </title>
         <meta http-equiv="content-type" content="text/html; charset=utf-8" />
         <script type="text/javascript">
         //<![CDATA[
+        function safari_refresh() {
+            self.location.href= '<?php echo $refreshurl;?>';
+        }
+        var issafari = false;
+        if(window.devicePixelRatio){
+            issafari = true;
+            setTimeout('safari_refresh()', <?php echo $CFG->chat_refresh_room*1000;?>);
+        }
         if (parent.msg && parent.msg.document.getElementById("msgStarted") == null) {
             parent.msg.document.close();
             parent.msg.document.open("text/html","replace");
diff --git a/mod/chat/gui_header_js/jsupdated.php b/mod/chat/gui_header_js/jsupdated.php
index c7806c3699..57421e0bfc 100644
--- a/mod/chat/gui_header_js/jsupdated.php
+++ b/mod/chat/gui_header_js/jsupdated.php
@@ -78,6 +78,14 @@
         <meta http-equiv="content-type" content="text/html; charset=utf-8" />
         <script type="text/javascript">
         //<![CDATA[
+        function safari_refresh() {
+            self.location.href= '<?php echo $refreshurl;?>';
+        }
+        var issafari = false;
+        if(window.devicePixelRatio){
+            issafari = true;
+            setTimeout('safari_refresh()', <?php echo $CFG->chat_refresh_room*1000;?>);
+        }
         if (parent.msg.document.getElementById("msgStarted") == null) {
             parent.msg.document.close();
             parent.msg.document.open("text/html","replace");
