#!/bin/bash
PATH=/sbin:/usr/sbin:/bin:/usr/bin

. $1

# signals ifup-ppp not to persist

if [ ! -f /var/run/ppp-$DEVICE.dev ]; then
    # ppp isn't running, or we didn't start it
    exit 0
fi

file=/var/run/`cat /var/run/ppp-$DEVICE.dev`.pid
if [ ! -f $file ]; then
    exit 0
fi

rm -f /var/run/ppp-$DEVICE.dev

PID=`cat $file`
if [ -z "$PID" ]; then
  exit 1
fi

kill $PID > /dev/null 2>&1
if [ ! -d /proc/$PID ]; then
  exit 0
fi
sleep 2
if [ ! -d /proc/$PID ]; then
  exit 0
fi

kill -KILL $PID > /dev/null 2>&1
if [ -d /proc/$PID ]; then
  logger -p daemon.info -t ifdown-ppp "ifdown-ppp unable to kill pppd-$DEVICE" &
fi
exit 1

