Searched refs:command_pid_is_dead (Results 1 – 1 of 1) sorted by relevance
6026 static int command_pid_is_dead; variable6032 command_pid_is_dead++; in wait_sig()6176 command_pid_is_dead++; in server_cleanup()6181 command_pid_is_dead++; in server_cleanup()6189 while (!command_pid_is_dead) in server_cleanup()