12345678910111213141516171819202122232425262728293031 |
- #!/bin/sh
- DEVICE="$1"
- PIDFILE="/var/run/radvd-$DEVICE.pid"
- [ -f "$PIDFILE" ] || exit 0
- PID="$(cat "$PIDFILE")"
- if [ "$PID" != "" ]; then
- if ps h "$PID" >/dev/null 2>&1; then
- kill -TERM "$PID"
- usleep 10000
- if ps h "$PID" >/dev/null 2>&1; then
- sleep 1
- if ps h "$PID" >/dev/null 2>&1; then
- kill -KILL "$PID"
- fi
- fi
- fi
- fi
- rm -f "$PIDFILE"
|