| From: Jakub Piotr Cłapa (jpc-ml at zenburn.net) Date: Thu Apr 16 17:35:21 EDT 2009 |
|
On 4/16/09 2:55 AM, Matthew Flatt wrote: > No, it must be something else. The death of the older thread doesn't > automatically kill the newer thread. IIRC it could get garbage collected? -- regards, Jakub Piotr Cłapa
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}