diff -r 000000000000 -r 6474c204b198 dom/workers/test/dom_worker_helper.js --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/dom/workers/test/dom_worker_helper.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/ + */ + +var gRemainingTests = 0; + +function waitForWorkerFinish() { + if (gRemainingTests == 0) { + SimpleTest.waitForExplicitFinish(); + } + ++gRemainingTests; +} + +function finish() { + --gRemainingTests; + if (gRemainingTests == 0) { + SimpleTest.finish(); + } +} +