#!/bin/sh
# Aufrufparameter (durch ipppd):
# Interface device speed IP Gateway 
# z.B.:
# ippp0 /dev/ippp0 0 193.102.185.41 193.102.185.14
PATH=bin:/usr/bin:/sbin:/usr/sbin
if [ -f /etc/sysconfig/activeisdn ]; then
   source /etc/sysconfig/activeisdn
else
   exit
fi


## start included by Peter Bieringer

# Set resolver files for offline
/usr/local/sbin/switch_gethostbyname offline

# Delete all routes through device
/usr/local/sbin/delip4routes $1

## end included by Peter Bieringer


if [ "x$PROVIDER" != "xkeiner" -a "x$ART" = "xautomatisch" ]; then
  if [ -f /etc/sysconfig/provider/conf-$PROVIDER ]; then
    source /etc/sysconfig/provider/conf-$PROVIDER
  else
    exit
  fi
  
  if [ -f /var/run/dialondemand ]; then
      device=`cat /var/run/dialondemand`
      route del default $1
      route del -host $5
      ifconfig $device $IP
      route add -host $GATEWAY $device
      route add default gw $GATEWAY dev $device
  fi
fi
exit