123456789101112131415161718192021222324 |
- <html>
- <body>
- <div id=result></div>
- <script>
- function log(message)
- {
- document.getElementById("result").innerHTML += message + "<br>";
- }
- var worker = new SharedWorker("websocket_worker_simple.js");
- var protocol = location.protocol.replace('http', 'ws');
- var url = protocol + '//' + location.host + '/echo-with-no-extension';
- worker.port.onmessage = function (evt) {
- log(evt.data);
- if (evt.data == "DONE") {
- document.title = "OK";
- } else {
- document.title = "FAIL";
- }
- };
- worker.port.postMessage(url);
- </script>
- </body>
- </html>
|