Searched refs:srv_pid (Results 1 – 1 of 1) sorted by relevance
39 echo " * Killing server (pid $srv_pid) ..."40 kill $srv_pid >/dev/null 2>/dev/null127 srv_pid=$!129 wait $srv_pid