#!/bin/sh
#------------------------------------------------------------------------------
# /etc/ppp/ip-up900.user
#
# Enter your specific commands here, wget etc.
#
# Creation:     08.09.2000  fm
# Last Update:  $Id$
#------------------------------------------------------------------------------

# --- DO NOT MODIFY ---
if [ "$is_default_route" = "yes" ] # is a default-route-interface going up?
then
# --- ADD YOUR COMMANDS HERE ---
    echo
# --- DO NOT MODIFY ---
fi