From 45114ccdf3425a5ab538ec90c4a56b510c54ae1d Mon Sep 17 00:00:00 2001
From: Massimiliano Assante <massimiliano.assante@isti.cnr.it>
Date: Thu, 3 Oct 2013 09:32:30 +0000
Subject: [PATCH] git-svn-id:
 http://svn.research-infrastructures.eu/public/d4science/gcube/trunk/portlets/admin/rmp-common-library@82346
 82a268e6-3cf1-43bd-a215-b396298e98cf

---
 war/resource_support/hosted.html | 21 +++++++++++----------
 1 file changed, 11 insertions(+), 10 deletions(-)

diff --git a/war/resource_support/hosted.html b/war/resource_support/hosted.html
index f6c5d82..48b87f3 100644
--- a/war/resource_support/hosted.html
+++ b/war/resource_support/hosted.html
@@ -160,8 +160,7 @@ function __gwt_disconnected_impl() {
   __gwt_displayGlassMessage('GWT Code Server Disconnected',
       'Most likely, you closed GWT Development Mode. Or, you might have lost '
       + 'network connectivity. To fix this, try restarting GWT Development Mode and '
-      + '<a style="color: #FFFFFF; font-weight: bold;" href="javascript:location.reload()">'
-      + 'REFRESH</a> this page.');
+      + 'refresh this page.');
 }
 
 // Keep track of z-index to allow layering of multiple glass messages
@@ -295,20 +294,22 @@ gwtOnLoad = function(errFn, modName, modBase){
       if (errFn) {
         errFn(modName);
       } else {
-        __gwt_displayGlassMessage("Plugin failed to connect to Development Mode server at " +
-            simpleEscape($hosted),
-            "Follow the underlying troubleshooting instructions");
-        loadIframe("http://code.google.com/p/google-web-toolkit/wiki/TroubleshootingOOPHM");
+        __gwt_displayGlassMessage(
+            "Plugin failed to connect to Development Mode server at " + simpleEscape($hosted),
+            "Follow the troubleshooting instructions at "
+            + "<a href='http://code.google.com/p/google-web-toolkit/wiki/TroubleshootingOOPHM'>"
+            + "http://code.google.com/p/google-web-toolkit/wiki/TroubleshootingOOPHM</a>");
       }
     }
   }
 }
 
 function simpleEscape(originalString) {
-  return originalString.replace("&","&amp;")
-    .replace("<","&lt;")
-    .replace(">","&gt;")
-    .replace("\"","&quot;");
+  return originalString.replace(/&/g,"&amp;")
+    .replace(/</g,"&lt;")
+    .replace(/>/g,"&gt;")
+    .replace(/\'/g, "&#39;")
+    .replace(/\"/g,"&quot;");
 }
 
 window.onunload = function() {