This commit is contained in:
Massimiliano Assante 2013-10-03 09:32:30 +00:00
parent ffd5fea81e
commit 45114ccdf3
1 changed files with 11 additions and 10 deletions

View File

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