#!/bin/sh
#
# This script is run AFTER the PPP link is down (when pppd is 
# terminating).  The arguments are:
# 
#    interface-name  tty-device  speed  local-IP-address remote-IP-address
#
# Eric Myers <myers@umich.edu> - 27 July 1998
# Department of Physics, University of Michigan, Ann Arbor 48109-1120
# @(#) $Revision: 1.5 $		$Date: 1999/04/26 02:57:16 $
######################################################################

# Flush default route established by ppp
#### /sbin/route del default >/dev/null

# Restore ethernet settings from rc.inet1
##if [ -x /etc/rc.d/rc.inet1 ]; then
##   /etc/rc.d/rc.inet1
##fi

SOUND=/usr/local/lib/sound/game_over.au
if [ -f $SOUND ]; then
  /usr/bin/play $SOUND &
fi
( echo -n "ppp link is DOWN at "; date ) | wall &


exit 0