OLD | NEW |
| (Empty) |
1 var shared_worker_count = 0; | |
2 function 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 | |
21 function onSuccess() | |
22 { | |
23 setTimeout(onFinished, 0, "OK"); | |
24 } | |
25 | |
26 function onFailure() { | |
27 setTimeout(onFinished, 0, "FAIL"); | |
28 } | |
29 | |
30 function onFinished(result) { | |
31 var statusPanel = document.getElementById("statusPanel"); | |
32 if (statusPanel) { | |
33 statusPanel.innerHTML = result; | |
34 } | |
35 | |
36 document.title = result; | |
37 } | |
OLD | NEW |