Another shutdown fix
authorSimon Marlow <marlowsd@gmail.com>
Mon, 17 Nov 2008 09:43:50 +0000 (09:43 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Mon, 17 Nov 2008 09:43:50 +0000 (09:43 +0000)
If we encounter a runnable thread during shutdown, just kill it.  All
the threads are supposed to be dead at this stage, but this catches
threads that might have just returned from a foreign call, or were
finalizers created by the GC.

Fixes memo002(threaded1)


No differences found