
21 Sep
2005
21 Sep
'05
10:24 a.m.
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