blob: 45c7c89b4ec083e19ee58c7f508000ab4fe3e191
| 1 | #!/system/bin/sh |
| 2 | |
| 3 | PPPOE_PIDFILE="/system/etc/ppp/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 |