blob: 2ff6a002f96d54984fad0985ef43f3161a5fe87a
1 | #!/system/bin/sh |
2 | |
3 | PPPOE_PIDFILE="/var/run/pppoe.pid" |
4 | |
5 | # Check for pidfile |
6 | PPPOE_PID=`cat $PPPOE_PIDFILE` |
7 | echo "$PPPOE_PIDFILE" |
8 | echo "$PPPOE_PID" |
9 | # Check if still running |
10 | kill -0 $PPPOE_PID > /dev/null 2>&1 |
11 | if [ $? != 0 ] ; then |
12 | echo "The pppoe(PID $PPPOE_PID) appears to have died" >& 2 |
13 | fi |
14 | |
15 | # Kill pppoe, which should in turn kill pppd |
16 | echo "Killing pppoe (PID $PPPOE_PID)" |
17 | kill -9 $PPPOE_PID > /dev/null 2>&1 || exit 1 |
18 | |
19 | rm "$PPPOE_PIDFILE" |
20 | |
21 | exit 0 |
22 |