Searched refs:sleep_pid (Results 1 – 1 of 1) sorted by relevance
43 if [ -f sleep_pid ]; then44 sleep_pid=`cat sleep.pid`46 [ -n "$sleep_pid" ] && kill $sleep_pid165 read sleep_pid < sleep.pid166 1>&2 echo "$sleep_pid"167 kill "$sleep_pid"