7 document
.getElementById("result").innerHTML
+= message
+ "<br>";
9 var worker
= new SharedWorker("websocket_worker_simple.js");
10 var protocol
= location
.protocol
.replace('http', 'ws');
11 var url
= protocol
+ '//' + location
.host
+ '/echo-with-no-extension';
12 worker
.port
.onmessage = function (evt
) {
14 if (evt
.data
== "DONE") {
15 document
.title
= "OK";
17 document
.title
= "FAIL";
20 worker
.port
.postMessage(url
);