12345678910111213141516171819202122232425262728293031323334 |
- #!/bin/sh
- ######################################################################
- #
- # Determine the device to be terminated.
- #
- if [ "$1" = "" ]; then
- DEVICE=ppp0
- else
- DEVICE=$1
- fi
- ######################################################################
- #
- # If the ppp0 pid file is present then the program is running. Stop it.
- if [ -r /var/run/$DEVICE.pid ]; then
- kill -INT `cat /var/run/$DEVICE.pid`
- #
- # If the kill did not work then there is no process running for this
- # pid. It may also mean that the lock file will be left. You may wish
- # to delete the lock file at the same time.
- if [ ! "$?" = "0" ]; then
- rm -f /var/run/$DEVICE.pid
- echo "ERROR: Removed stale pid file"
- exit 1
- fi
- #
- # Success. Let pppd clean up its own junk.
- echo "PPP link to $DEVICE terminated."
- exit 0
- fi
- #
- # The ppp process is not running for ppp0
- echo "ERROR: PPP link is not active on $DEVICE"
- exit 1
|