Searched refs:server_pid (Results 1 – 12 of 12) sorted by relevance
52 if [[ $server_pid -ne 0 ]]; then53 kill -TERM $server_pid64 server_pid=067 server_pid=$!72 if [[ $server_pid -ne 0 ]]; then73 kill -TERM $server_pid74 server_pid=082 server_pid=0
66 if [[ -n $server_pid ]]; then67 kill $server_pid 2> /dev/null73 server_pid=$!83 wait "${server_pid}"84 server_pid=
296 static pid_t server_pid; variable302 server_pid = start_server(&sin1); in setup()309 kill(server_pid, SIGKILL); in cleanup()
297 server_pid=`grep PID: $info_file | cut -f 2 -d ' '`316 ps auxw | fgrep ns-udpserver | fgrep -l $server_pid >/dev/null 2>&1
367 static pid_t server_pid; variable373 server_pid = start_server(&sin1); in setup()380 kill(server_pid, SIGKILL); in cleanup()
306 server_pid=`grep PID: $info_file | cut -f 2 -d ' '`334 ps auxw | fgrep ns-udpserver | fgrep -l $server_pid >/dev/null 2>&1
334 server_pid=`grep PID: $info_file | cut -f 2 -d ' '`365 ps auxw | fgrep ns-tcpserver | fgrep -l $server_pid >/dev/null 2>&1
340 server_pid=`grep PID: $info_file | cut -f 2 -d ' '`367 ps auxw | fgrep ns-tcpserver | fgrep -l $server_pid >/dev/null 2>&1
356 server_pid=`grep PID: $info_file | cut -f 2 -d ' '`402 ps auxw | fgrep ns-udpserver | fgrep -l $server_pid >/dev/null 2>&1
389 server_pid=`grep PID: $info_file | cut -f 2 -d ' '`434 ps auxw | fgrep ns-tcpserver | fgrep -l $server_pid >/dev/null 2>&1
493 server_pid=`grep PID: $info_file | cut -f 2 -d ' '`514 ps auxw | fgrep ns-tcpserver | fgrep -l $server_pid >/dev/null 2>&1
118 server_pid=$!127 wait "${server_pid}"