3 PID="$(cat "/run/odhcp6c.$IFACE.pid" 2>/dev/null)"
5 # Was a pid recorded and does the process still exist?
6 # XXX should check process name too
7 if [ -n "$PID" ] && kill -0 $PID; then
8 # XXX this doesn't currently remove the pid file
11 rm -f "/run/odhcp6c.$IFACE.pid"