#!/bin/sh
# Interface device speed IP Gateway 
# 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
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`
    if [ "x$device" != "x$1" ]; then
      route del default $device
    fi
  fi
fi
/sbin/ifconfig $1 $4
/sbin/route add -host $5 $1
/sbin/route add default gw $5 dev $1


## start included by Peter Bieringer

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

# Trigger a new tunnel at the IPv6 tunnelserver
/usr/local/bin/triggersit-ip6 -u peter -p /etc/ppp/.passwd.tunnel.peter

## end included by Peter Bieringer


exit