[project @ 2005-11-02 13:04:55 by simonmar]
authorsimonmar <unknown>
Wed, 2 Nov 2005 13:04:55 +0000 (13:04 +0000)
committersimonmar <unknown>
Wed, 2 Nov 2005 13:04:55 +0000 (13:04 +0000)
commitdb2468da1dfdfca286f8ae017656ed7115a77480
treeed90246e2cd679c2e17f845d64007bf2b7580174
parentd9dfeb2adeec6e538f4bbc603f0d856d22cb6bac
[project @ 2005-11-02 13:04:55 by simonmar]
when shutting down, don't allow a worker to exit until the run queue
is empty, because the thread in exitScheduler() is waiting for this.
ghc/rts/Schedule.c