[project @ 2004-04-13 13:43:11 by simonmar]
authorsimonmar <unknown>
Tue, 13 Apr 2004 13:43:11 +0000 (13:43 +0000)
committersimonmar <unknown>
Tue, 13 Apr 2004 13:43:11 +0000 (13:43 +0000)
commit364291e8d628bfb68bb75be991ca28f6a484d089
tree3f0e411bed2e4e1b8bbc7850c0d437b2bd072cfe
parentcc77a7baa29f0becb1bb32b9c9b74ed16cd9f7ae
[project @ 2004-04-13 13:43:11 by simonmar]
merge rev. 1.173.2.21:

Fix bug in deleteAllThreads() - shouldn't throw away the contents of
the run queue, we still need to deal with those ThreadKilled threads.
ghc/rts/Schedule.c