-
Simon Marlow authored
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.
db2468da
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.