9 Mar
2015
9 Mar
'15
8:57 a.m.
On 03/06/2015 09:48 AM, Spencer Salazar wrote:
Hmm, it would be nice if there was no difference. But there is a difference, internally, and it appears that is leaking out of the abstraction so to speak. So basically .exit() appears to terminate the shred immediately whereas Machine.remove() waits until all shreds have finished executing for this sample, i.e. all shreds are waiting => now. At least that is what I am interpreting from the source code.
Thanks for the head up! I hope nothing gets changed with .exit(), since that seems the be the one that works the best :-) -- Atte http://atte.dk http://a773.dk