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 _______________________________________________ chuck-users mailing list [email protected] https://lists.cs.princeton.edu/mailman/listinfo/chuck-users
