ANN: ports 0.3.3 "Autumn Sun"

[Manuel M. T. Chakravarty]

"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