diff -r 000000000000 -r 6474c204b198 dom/workers/test/close_worker.js --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/dom/workers/test/close_worker.js Wed Dec 31 06:09:35 2014 +0100 @@ -0,0 +1,21 @@ +/** + * Any copyright is dedicated to the Public Domain. + * http://creativecommons.org/publicdomain/zero/1.0/ + */ +onclose = function() { + postMessage("closed"); + // Try to open a new worker. + try { + var worker = new Worker("close_worker.js"); + throw new Error("We shouldn't get here!"); + } catch (e) { + // pass + } +}; + +setTimeout(function () { + setTimeout(function () { + throw new Error("I should never run!"); + }, 1000); + close(); +}, 1000);