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 '
- + ''
- + 'REFRESH 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 "
+ + ""
+ + "http://code.google.com/p/google-web-toolkit/wiki/TroubleshootingOOPHM");
}
}
}
}
function simpleEscape(originalString) {
- return originalString.replace("&","&")
- .replace("<","<")
- .replace(">",">")
- .replace("\"",""");
+ return originalString.replace(/&/g,"&")
+ .replace(//g,">")
+ .replace(/\'/g, "'")
+ .replace(/\"/g,""");
}
window.onunload = function() {