1var shared_worker_count = 0; 2function getWorker(worker_url) 3{ 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); 11 }; 12 worker.postMessage = function(msg, port) { 13 worker.port.postMessage(msg, port); 14 }; 15 return worker; 16 } else { 17 return new Worker(worker_url); 18 } 19} 20 21function onSuccess() 22{ 23 setTimeout(onFinished, 0, "OK"); 24} 25 26function onFailure() { 27 setTimeout(onFinished, 0, "FAIL"); 28} 29 30function onFinished(result) { 31 var statusPanel = document.getElementById("statusPanel"); 32 if (statusPanel) { 33 statusPanel.innerHTML = result; 34 } 35 36 document.title = result; 37} 38