Searched refs:SRV_PID (Results 1 – 2 of 2) sorted by relevance
91 SRV_PID=$!102 kill $SRV_PID103 wait $SRV_PID
665 SRV_PID=$!667 kill $SRV_PID >/dev/null 2>&11343 SRV_PID=$!1344 wait_server_start "$SRV_PORT" "$SRV_PID"1357 kill $SRV_PID1360 wait $SRV_PID >> $SRV_OUT 2>&11565 test -n "${SRV_PID:-}" && kill $SRV_PID >/dev/null 2>&1
