Searched refs:SRV_PID (Results 1 – 3 of 3) sorted by relevance
79 SRV_PID=$!90 kill $SRV_PID91 wait $SRV_PID
842 SRV_PID=$!844 wait_server_start "$PORT" "$SRV_PID"851 kill $SRV_PID >/dev/null 2>&1852 wait $SRV_PID >> $SRV_OUT 2>&1868 kill $SRV_PID >/dev/null 2>&1
872 SRV_PID=$!874 kill $SRV_PID >/dev/null 2>&11574 SRV_PID=$!1575 wait_server_start "$SRV_PORT" "$SRV_PID"1588 kill $SRV_PID1591 wait $SRV_PID >> $SRV_OUT 2>&11874 test -n "${SRV_PID:-}" && kill $SRV_PID >/dev/null 2>&1
