ANN: ports 0.3.3 "Autumn Sun"

Manuel M. T. Chakravarty
Wed, 29 Aug 2001 15:21:22 +1000

"Marcin 'Qrczak' Kowalczyk" <> wrote,

> Tue, 28 Aug 2001 18:30:21 +1000, Manuel M. T. Chakravarty <> 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.