On Mon, 14 Apr 1997 22:41:33 -0400 (EDT),
xiamin <ingerrn@cris.com> wrote:
> On Mon, 14 Apr 1997, Ken and Masami Nakata wrote:
> > You can put it in /etc/ppp/ip-up, I think.  "man pppd".  BTW, you
> any idea on how i would use /etc/ppp/ip-down to kill a process?
> i think it would be something like 'ps -ax | grep [process] | awk somestuff
> i dont know how to use awk, but i saw something like this somewere once...

In case of sendmail, you don't have to do kill `ps | grep | sed-or-awk`.
Instead, you can just do:

	kill `head -1 /var/run/sendmail.pid`

"Head -1" instead of "cat" is required because sendmail writes its pid
in the first line of /var/run/sendmail.pid file, and then it writes the
command line with which it's invoked into the second line, like this:

	109
	/usr/sbin/sendmail -bd -q1h

Hope this helps,

Ken