#!/bin/sh
if [ "$1" = "" ]; then
	DEVICE=ppp0
else
	DEVICE=$1
fi

if [ -r /var/run/$DEVICE.pid ]; then
        kill -INT `cat /var/run/$DEVICE.pid`
        if [ ! "$?" = "0" ]; then
                rm -f /var/run/$DEVICE.pid
                echo -e "ERROR: Removed stale pid file!\a"
                exit 1
        fi
        echo "Disconnected on"
	date
        exit 0
fi
echo -e "ERROR: PPP link is not active on $DEVICE!\a"
exit 1
