Searched refs:PID (Results 1 – 1 of 1) sorted by relevance
36 PID=`head -n1 $LOCK`39 kill -0 $PID 2> /dev/null44 OTHERSTART=`cat /proc/$PID/stat | cut -d')' -f2 | cut -d ' ' -f21`50 echo "Found dead process $PID"53 ps --no-headers --pid $PID --format pid,lstart,command55 kill -9 $PID
