| document.getElementById("result").innerHTML += message + "<br>"; |
| var worker = new SharedWorker("websocket_worker_simple.js"); |
| var href = window.location.href; |
| var hostBegin = href.indexOf("/") + 2; |
| var hostEnd = href.lastIndexOf(":"); |
| var host = href.slice(hostBegin, hostEnd); |
| var portBegin = hostEnd + 1; |
| var portEnd = href.lastIndexOf("/"); |
| var port = href.slice(portBegin, portEnd); |
| var url = "ws://" + host + ":" + port + "/echo-with-no-extension"; |
| worker.port.onmessage = function (evt) { |
| if (evt.data == "DONE") { |
| worker.port.postMessage(url); |