Searched refs:receiver_pid (Results 1 – 1 of 1) sorted by relevance
29 receiver_pid=$!31 echo $0 ": receiver PID = $receiver_pid"36 ps | grep -q $receiver_pid63 kill $receiver_pid