11 Aug
2004
11 Aug
'04
10:20 a.m.
Well, that's where check_threads_etc() gets called anyway.
/ Henrik Grubbström (Lysator)
Previous text:
2004-08-11 15:58: Subject: Re: killing threads
It might be possible to send an exception to a thread and kill it that way. In many cases it would be enough if the thread got killed on backjumps/functioncalls/whereever other stuff are checked as well...
/ Mirar