michael@0: /**
michael@0:  * Any copyright is dedicated to the Public Domain.
michael@0:  * http://creativecommons.org/publicdomain/zero/1.0/
michael@0:  */
michael@0: 
michael@0: var gRemainingTests = 0;
michael@0: 
michael@0: function waitForWorkerFinish() {
michael@0:   if (gRemainingTests == 0) {
michael@0:     SimpleTest.waitForExplicitFinish();
michael@0:   }
michael@0:   ++gRemainingTests;
michael@0: }
michael@0: 
michael@0: function finish() {
michael@0:   --gRemainingTests;
michael@0:   if (gRemainingTests == 0) {
michael@0:     SimpleTest.finish();
michael@0:   }
michael@0: }
michael@0: