#!/bin/sh
#
# The pppd executes this script every time a PPP connection goes down
# and passes the following args to it:
#
# 	$1	device
# 	$2	tty
# 	$3	speed
# 	$4	local IP addr
# 	$5	remote IP addr
#
# You can then execute special commands (like removing routes)
# depending on the arguments passed by the pppd.
#
