| OLD | NEW |
| (Empty) |
| 1 <html> | |
| 2 <head> | |
| 3 <script src="worker_utils.js"></script> | |
| 4 </head> | |
| 5 <body> | |
| 6 <div id=result></div> | |
| 7 <script> | |
| 8 function log(message) | |
| 9 { | |
| 10 document.getElementById("result").innerHTML += message + "<br>"; | |
| 11 } | |
| 12 | |
| 13 var worker = new Worker("worker_common.js"); | |
| 14 worker.postMessage("ping"); | |
| 15 worker.onmessage = workerStarted; | |
| 16 | |
| 17 var sharedWorker; | |
| 18 function workerStarted(event) { | |
| 19 log ("worker created"); | |
| 20 worker.postMessage("close"); | |
| 21 sharedWorker = new SharedWorker("worker_common.js"); | |
| 22 sharedWorker.port.postMessage("ping"); | |
| 23 sharedWorker.port.onmessage = sharedWorkerStarted; | |
| 24 } | |
| 25 | |
| 26 function sharedWorkerStarted(event) { | |
| 27 log ("shared worker created"); | |
| 28 sharedWorker.port.postMessage("close"); | |
| 29 onSuccess(); | |
| 30 } | |
| 31 </script> | |
| 32 | |
| 33 </body> | |
| 34 </html> | |
| OLD | NEW |