17 Sep
2005
17 Sep
'05
1:12 a.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