1 <html> 2 <body> 3 <div id=result></div> 4 <script> 5 function log(message) 6 { 7 document.getElementById("result").innerHTML += message + "<br>"; 8 } 9 var worker = new SharedWorker("websocket_worker_simple.js"); 10 var href = window.location.href; 11 var hostBegin = href.indexOf("/") + 2; 12 var hostEnd = href.lastIndexOf(":"); 13 var host = href.slice(hostBegin, hostEnd); 14 var portBegin = hostEnd + 1; 15 var portEnd = href.lastIndexOf("/"); 16 var port = href.slice(portBegin, portEnd); 17 var url = "ws://" + host + ":" + port + "/echo-with-no-extension"; 18 worker.port.onmessage = function (evt) { 19 log(evt.data); 20 if (evt.data == "DONE") { 21 document.title = "OK"; 22 } else { 23 document.title = "FAIL"; 24 } 25 }; 26 worker.port.postMessage(url); 27 28 </script> 29 </body> 30 </html> 31 32
