3 # Lets see how many pppds are running....
4 set -- `cat /var/run/ppp*.pid 2>/dev/null`
7 0) # pppd only creates a pid file once ppp is up, so let's try killing pppd
8 # on the assumption that we've not got that far yet.
11 1) # If only one was running then it can be killed (apparently killall
12 # caused problems for some, so lets try killing the pid from the file)
15 *) # More than one! Aieehh.. Dont know which one to kill.
16 echo "More than one pppd running. None stopped"
21 if [ -r /var/run/ppp-quick ]
23 rm -f /var/run/ppp-quick