Is the general pattern to write all threadIds to a file, and then have a separate function that takes the file and kills them? Or is there something more clever? -Alex- On Wed, 21 Sep 2005, Simon Marlow wrote:
On 16 September 2005 20:42, S. Alexander Jacobson wrote:
If I am running a server interactively. (using ghci). Is there any way to kill its running threads without terminating the interpreter?
If you can get ThreadIds for the threads, yes. GHCi doesn't (currently) create a new thread for each expression evaluation, so attempting to kill that thread might kill your GHCi session (it shouldn't but that's another story).
Cheers, Simon
** CRM114 Whitelisted by: simonmar@microsoft.com **
______________________________________________________________ S. Alexander Jacobson tel:917-770-6565 http://alexjacobson.com