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
;