2011-03-25 18:45:13 +00:00
|
|
|
#!/bin/bash
|
|
|
|
DEVICE=ppp0
|
|
|
|
|
|
|
|
if [ -r /var/run/$DEVICE.pid ]; then
|
|
|
|
kill -INT `cat /var/run/$DEVICE.pid`
|
|
|
|
|
|
|
|
if [ ! "$?" = "0" ]; then
|
|
|
|
rm -f /var/run/$DEVICE.pid
|
|
|
|
echo >/dev/console "ERROR: Removed stale pid file"
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
|
|
|
|
echo >/dev/console "PPP link to $DEVICE terminated."
|
|
|
|
exit 0
|
|
|
|
fi
|
|
|
|
|
|
|
|
echo >/dev/console "ERROR: PPP link not active on $DEVICE"
|
2014-09-14 17:57:14 +00:00
|
|
|
exit 1
|