#!/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 "ERROR: removed stale pid file"
		exit 1
	fi

	echo "PPP link to $DEVICE terminated (with moderate prejudice)"
	exit 0
fi

echo "ERROR: PPP link not active on $DEVICE"
exit 1