wmppp.app/wmppp/example-scripts/wmppp-stop

   1 #!/bin/bash
   2 DEVICE=ppp0
   3
   4 if [ -r /var/run/$DEVICE.pid ]; then
   5         kill -INT `cat /var/run/$DEVICE.pid`
   6
   7         if [ ! "$?" = "0" ]; then
   8                 rm -f /var/run/$DEVICE.pid
   9                 echo >/dev/console "ERROR: Removed stale pid file"
  10                 exit 1
  11         fi
  12
  13         echo >/dev/console "PPP link to $DEVICE terminated."
  14         exit 0
  15 fi
  16
  17 echo >/dev/console "ERROR: PPP link not active on $DEVICE"
  18 exit 1