diff --git a/code/html/custom.js b/code/html/custom.js index 09346936..e36b99ee 100644 --- a/code/html/custom.js +++ b/code/html/custom.js @@ -1522,9 +1522,6 @@ function initUrls(root) { } else { urls.ws.protocol = "ws:"; } - - urls.ws.port = Number(urls.ws.port) + 1; - } @@ -1532,37 +1529,24 @@ function connectToURL(url) { initUrls(url); - - /* - $.ajax({ 'method': 'GET', 'crossDomain': true, 'url': urls.auth.href, 'xhrFields': { 'withCredentials': true } }).done(function(data) { - -*/ - - if (websock) { - websock.close(); - } - websock = new WebSocket(urls.ws.href); - websock.onmessage = function (evt) { - var data = getJson(evt.data.replace(/\n/g, "\\n").replace(/\r/g, "\\r").replace(/\t/g, "\\t")); - if (data) { - processData(data); - } - }; - - /* - + if (websock) { websock.close(); } + websock = new WebSocket(urls.ws.href); + websock.onmessage = function(evt) { + var data = getJson(evt.data.replace(/\n/g, "\\n").replace(/\r/g, "\\r").replace(/\t/g, "\\t")); + if (data) { + processData(data); + } + }; }).fail(function() { // Nothing to do, reload page and retry }); - -*/ - + } function connect(host) {