On Mon, 8 Jul 2002, Nico Erfurth wrote:
> And pkill isn't available anywhere, ok so forget about this, it's too
> dangerous.
Hmm. I could build something that required a configuration setting. Then
the OS-specific files could set killall or pkill for those systems where
it was known to work. It seems a shame not to use a faster method where
it is available.
--
Philip Hazel University of Cambridge Computing Service,
ph10@??? Cambridge, England. Phone: +44 1223 334714.