1 var shared_worker_count = 0;
2 function getWorker(worker_url)
4 // Create either a dedicated or shared worker, depending on flags
5 var url = document.location.toString();
6 if (url.search("shared") >= 0) {
7 // Make a shared worker that looks like a worker
8 var worker = new SharedWorker(worker_url, "name" + ++shared_worker_count);
9 worker.port.onmessage = function(evt) {
10 worker.onmessage(evt);
12 worker.postMessage = function(msg, port) {
13 worker.port.postMessage(msg, port);
17 return new Worker(worker_url);
23 setTimeout(onFinished, 0, "OK");
26 function onFailure() {
27 setTimeout(onFinished, 0, "FAIL");
30 function onFinished(result) {
31 var statusPanel = document.getElementById("statusPanel");
33 statusPanel.innerHTML = result;
36 document.title = result;