Searched refs:PROCESS_ID (Results 1 – 1 of 1) sorted by relevance
818 PROCESS_ID=$!820 wait_server_start "$PORT" "$PROCESS_ID"825 kill $PROCESS_ID 2>/dev/null826 wait $PROCESS_ID 2>/dev/null842 kill $PROCESS_ID >/dev/null 2>&1