Searched refs:server_pid (Results 1 – 4 of 4) 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=
38 kill_server(int server_pid) in kill_server() argument40 int ret = kill(server_pid, SIGTERM); in kill_server()49 ret = waitpid(server_pid, &wstatus, 0); in kill_server()67 int server_pid = fork(); in start_server() local69 if (server_pid == -1) { in start_server()72 } else if (server_pid != 0) { in start_server()74 return server_pid; in start_server()216 int display, server_pid; in main() local226 server_pid = start_server(server_args); in main()229 kill_server(server_pid); in main()
118 server_pid=$!127 wait "${server_pid}"