OLD | NEW |
(Empty) | |
| 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 |
| 10 var worker = new Worker("worker_common.js"); |
| 11 worker.postMessage("ping"); |
| 12 worker.onmessage = workerStarted; |
| 13 |
| 14 var sharedWorker; |
| 15 function workerStarted(event) { |
| 16 log ("worker created"); |
| 17 worker.postMessage("close"); |
| 18 sharedWorker = new SharedWorker("worker_common.js"); |
| 19 sharedWorker.port.postMessage("ping"); |
| 20 sharedWorker.port.onmessage = sharedWorkerStarted; |
| 21 } |
| 22 |
| 23 function sharedWorkerStarted(event) { |
| 24 log ("shared worker created"); |
| 25 sharedWorker.port.postMessage("close"); |
| 26 document.cookie = "status=OK"; |
| 27 } |
| 28 </script> |
| 29 |
| 30 </body> |
| 31 </html> |
OLD | NEW |