| #!/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 |