| <html> | |
| <body> | |
| <div id=result></div> | |
| <script> | |
| function log(message) | |
| { | |
| document.getElementById("result").innerHTML += message + "<br>"; | |
| } | |
| var url = document.location.toString(); | |
| var id = parseInt(url.substr(url.search("id=") + 3)); | |
| log("Shutting down worker #" + id); | |
| var worker = new SharedWorker("worker_common.js?id=" + id); | |
| worker.port.postMessage("close"); | |
| </script> | |
| </body> | |
| </html> |