Searched refs:s_server_pid (Results 1 – 1 of 1) sorted by relevance
40 if [ ! -z "$s_server_pid" ] ; then41 echo ":-| stop s_server [ $s_server_pid ]"43 kill -TERM $s_server_pid44 wait $s_server_pid45 s_server_pid=