17 Aug
2015
17 Aug
'15
1:14 p.m.
Is there a way in ghci to kill all running background processes without quitting ghci itself? E.g. if I do
forkIO . forever $ print 5 >> threadDelay 1000000
If I don't have the ThreadId, is there any way for me to stop printing "5"s without killing ghci? tom
17 Aug
17 Aug
1:57 p.m.
I've come across that problem too. I found this on stackoverflow. http://stackoverflow.com/questions/24999636/is-there-a-way-to-kill-all-forke... If you're doing the forking, you can simply write a function forkIO that registers threadId's in some global MVar. Otherwise I don't know. Silvio
3732
Age (days ago)
3732
Last active (days ago)
1 comments
2 participants
participants (2)
-
amindfv＠gmail.com -
Silvio Frischknecht