Searched refs:server_pid (Results 1 – 2 of 2) sorted by relevance
144 server_pid=$!152 kill $server_pid
376 pid_t server_pid; in main() local457 if ((server_pid = fork()) != 0) { in main()459 if (verbose) printf("pid: %d\n",server_pid); in main()