Searched refs:orig_sleep_pid (Results 1 – 1 of 1) sorted by relevance
138 orig_sleep_pid=`cat sleep.pid`139 kill $orig_sleep_pid144 [ "$orig_sleep_pid" -ne "$new_sleep_pid" ] && break149 [ "$orig_sleep_pid" -ne "$new_sleep_pid" ] || \