#!/bin/csh -fb
# -----------------------------------------------------------------------------
# Example script to terminate ppp connection
# -----------------------------------------------------------------------------
# Must be run with root suid
# (ie. "chown root pppdown; chmod 4755 pppdown;")
# -----------------------------------------------------------------------------
#

# --- get pid's of processes to kill
set PPPID = (`ps -ax | egrep "(/pppd )" | egrep -v "egrep" | sed 's/^\([ 0-9]*\) .*/\1'/`)

# --- kill processes
if ("$PPPID" != "") then
#	echo "Killing process 'pppd' [${PPPID}] sig = '-INT'"
	kill -INT $PPPID
	exit 0
endif
#echo "No processes matching name 'pppd' to kill"
exit 1

# ---