2 Any copyright is dedicated to the Public Domain.
3 http://creativecommons.org/publicdomain/zero/1.0/
9 <script type=
"text/javascript">
12 function start(workerCount
, messageCallback
) {
14 window
.onerror = function(message
, filename
, lineno
) {
15 if (!seenWindowError
) {
16 seenWindowError
= true;
19 data
: { message
, filename
, lineno
}
26 worker
= new Worker("errorPropagation_worker.js");
28 worker
.onmessage = function(event
) {
29 messageCallback(event
.data
);
33 worker
.onerror = function(event
) {
34 if (!seenWorkerError
) {
35 seenWorkerError
= true;
39 message
: event
.message
,
40 filename
: event
.filename
,
44 event
.preventDefault();
48 worker
.postMessage(workerCount
);