Searched refs:server_pid (Results 1 – 7 of 7) sorted by relevance
132 server_pid=$!180 kill -9 "$server_pid" > /dev/null 2>&1
101 server_pid=$!110 wait "${server_pid}"
213 local server_pid=$!262 server6_pid=$server_pid268 server4_pid=$server_pid