#!/bin/sh
#
# /etc/ppp/ip-down.local
#
# Wiederherstelllen der "alten" Default-Route
. /tmp/defltrt.ip-up
/sbin/ip route add $DEFAULTRT
/bin/rm -f /tmp/defltrt.ip-up
# Ende.