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