ANN: ports 0.3.3 "Autumn Sun"
Manuel M. T. Chakravarty
Wed, 29 Aug 2001 15:21:22 +1000
"Marcin 'Qrczak' Kowalczyk" <firstname.lastname@example.org> wrote,
> Tue, 28 Aug 2001 18:30:21 +1000, Manuel M. T. Chakravarty <email@example.com> 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.