src/content/test/data/workers/shutdown_shared_worker.html

   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 url = document.location.toString();
  11 var id = parseInt(url.substr(url.search("id=") + 3));
  12 log("Shutting down worker #" + id);
  13 var worker = new SharedWorker("worker_common.js?id=" + id);
  14 worker.port.postMessage("close");
  15 </script>
  16
  17 </body>
  18 </html>