#!/bin/sh PATH=/sbin:/usr/sbin:/bin:/usr/bin CONFIG=$1 . $CONFIG # Source ISDN configuration, if available if [ -f /etc/sysconfig/isdn ] ; then . /etc/sysconfig/isdn fi if [ -f "$I4L_BUDGETDIR/$DEVICE" ] ; then echo -n "Saving budget for $DEVICE" isdnctrl savebudgets $DEVICE > "$I4L_BUDGETDIR/$DEVICE" echo fi echo -n "Shutting down ifconfig for $DEVICE" ifconfig $DEVICE down echo "." echo -n "Removing device " isdnctrl delif $DEVICE echo -n "Stopping ipppd " # Simple ipppd kill #pppdpid=`ps axww|grep -v grep|grep $DEVICE|awk '{print $1}'` pppdpid=`cat /var/run/ipppd.$DEVICE.pid` kill -9 $pppdpid > /dev/null 2>&1 echo "." # Original pppd kill #pppdpid=`ps axww|grep -v grep|grep ipppd|awk '{print $1}'` #cat /proc/net/dev | grep ippp >& /dev/null #if [ $? -ne 0 -a -n "$pppdpid" ] ; then # kill -9 $pppdpid > /dev/null 2>&1 #fi echo "ISDN $device down!"