Searched refs:command_pid_is_dead (Results 1 – 2 of 2) sorted by relevance
6058 static int command_pid_is_dead; variable6064 command_pid_is_dead++; in wait_sig()6208 command_pid_is_dead++; in server_cleanup()6213 command_pid_is_dead++; in server_cleanup()6221 while (!command_pid_is_dead) in server_cleanup()
2565 (command_pid_is_dead): New variable.