Patch: thread finalization

[Bryce McKinlay]

Tom Tromey wrote:

> I'm committing this patch.  It arranges for dead threads to be removed
> from their containing ThreadGroup.  This allows the thread to be
> collected, and thus finalized.

Yes! This explains a memory leak I was having with some threaded I/O stuff I was
working on a while back (and was looking for in all the wrong places... ;-)

regards

  [ bryce ]