
16 Sep
2005
16 Sep
'05
7:42 p.m.
If I am running a server interactively. (using ghci). Is there any way to kill its running threads without terminating the interpreter? -Alex- ______________________________________________________________ S. Alexander Jacobson tel:917-770-6565 http://alexjacobson.com