diff options
| -rw-r--r-- | WebContent/index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/WebContent/index.html b/WebContent/index.html index f7c4fe9c32..46bc8846fd 100644 --- a/WebContent/index.html +++ b/WebContent/index.html @@ -10,7 +10,7 @@ <script type="text/javascript"> window.onload = function() { try { - if(window.location.search && -1 != window.location.search.indexOf('gwt.hosted')) { + if(window.location.search && (window.location.search.indexOf('gwt.hosted') != -1 || window.location.search.indexOf('gwt.codesvr') != -1)) { var hostedParam = window.location.search; var demolinks = document.getElementsByTagName("a"); for (var k = 0; k < demolinks.length; k++) { |