[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [MiNT] Elementary Script Questions



Hi!

On Tue, Dec 29, 1998 at 09:08:54AM +0100, Fabrice Gamberini wrote:
> All you got to do is 
> kill -9 `cat /var/run/ppp0.pid` (mind the bacquotes !)

Better don't. Signal 9 is "KILL" and cannot be caught by the process, so
it has no chance to do any cleanup (drop carrier and reset the serial
line, for example, in case of pppd). Use "TERM" (15, which is also the
default when you don't supply any signal number to kill) instead.


Ciao

Thomas


-- 
Thomas Binder (Gryf @ IRCNet)  gryf@hrzpub.tu-darmstadt.de
PGP-key available on request!  binder@rbg.informatik.tu-darmstadt.de

Attachment: pgpLM3qvEOYNK.pgp
Description: PGP signature