-
Simon Marlow authored
changes to exitScheduler(): instead of waiting for all the tasks to stop, which is unreasonable, we just wait for the run queue to drain. This is much quicker, but not ideal (see comments).
4f0f4342
changes to exitScheduler(): instead of waiting for all the tasks to stop, which is unreasonable, we just wait for the run queue to drain. This is much quicker, but not ideal (see comments).