Searched refs:receiver_pid (Results 1 – 2 of 2) sorted by relevance
73 receiver_pid=$!75 echo $0 ": receiver PID = $receiver_pid"80 ps -e | grep -q $receiver_pid107 kill $receiver_pid110 wait $receiver_pid 2>/dev/null118 receiver_pid=$!120 echo $0 ": receiver PID = $receiver_pid"125 ps -e | grep -q $receiver_pid152 kill $receiver_pid155 wait $receiver_pid 2>/dev/null[all …]
76 receiver_pid=$!78 echo $0 ": receiver PID = $receiver_pid"83 ps -e | grep -q $receiver_pid110 kill $receiver_pid113 wait $receiver_pid 2>/dev/null125 receiver_pid=$!127 echo $0 ": receiver PID = $receiver_pid"132 ps -e | grep -q $receiver_pid159 kill $receiver_pid162 wait $receiver_pid 2>/dev/null