[project @ 2005-10-20 11:45:19 by simonmar]
authorsimonmar <unknown>
Thu, 20 Oct 2005 11:45:19 +0000 (11:45 +0000)
committersimonmar <unknown>
Thu, 20 Oct 2005 11:45:19 +0000 (11:45 +0000)
commit4f0f4342c0268e239fd8bb6bd98ad2583b3485dd
treee0a1698cf3dcc4341ed1f687ec57201ab0d71c50
parentc86b512d648e23eed323451d5e2998947a9e68b4
[project @ 2005-10-20 11:45:19 by simonmar]
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).
ghc/rts/Schedule.c
ghc/rts/Task.c