#!/bin/sh

# this is a script which is executed after disconnecting the ppp interface.
# look at man pppd for details

# the followings parameters are available:
# $1 = interface-name
# $2 = tty-device
# $3 = speed
# $4 = local-IP-address
# $5 = remote-IP-address
# $6 = ipparam

#Support for the new Gentoo baselayout
if [[ "$(readlink --canonicalize "/etc/init.d/net.$1")" == "/etc/init.d/net.lo" && 
	-f "/lib/rcscripts/net.modules.d/helpers.d/pppd-wrapper" ]] ; then
		. /lib/rcscripts/net.modules.d/helpers.d/pppd-wrapper down $1
elif [ "$USEPEERDNS" ]; then

	# taken from debian's 0000usepeerdns
	# follow any symlink to find the real file
	REALRESOLVCONF=$(readlink --canonicalize /etc/resolv.conf)

	if [ "$REALRESOLVCONF" != "/etc/ppp/resolv.conf" ]; then

		# if an old resolv.conf file exists, restore it
		if [ -e $REALRESOLVCONF.pppd-backup ]; then
			mv $REALRESOLVCONF.pppd-backup $REALRESOLVCONF
		fi

	fi

fi

[ -f /etc/ppp/ip-down.local ] && . /etc/ppp/ip-down.local "$@"