29 Aug
2001
29 Aug
'01
5:21 a.m.
"Marcin 'Qrczak' Kowalczyk" <qrczak@knm.org.pl> wrote,
Tue, 28 Aug 2001 18:30:21 +1000, Manuel M. T. Chakravarty <chak@cse.unsw.edu.au> pisze:
It now has experiemental support for process management.
IMHO processes should not be killed using killProcess (sigKILL). Better use softwareTermination (sigTERM).
Hmm, I had an application where I absolutely wanted to kill it (ie, prevent it from surviving by registering a signal handler). But I agree, in general you probably want a sigTERM. So, I guess we need an additional argument here. Thanks, Manuel