From 52439a4188380b1a907b5d4fbfdcbdc83dc8d96c Mon Sep 17 00:00:00 2001 From: Thierry Vignaud Date: Mon, 24 Jan 2005 10:47:04 +0000 Subject: (sig_child) remove PIDs from PID list when children exit() --- control-center | 1 + 1 file changed, 1 insertion(+) diff --git a/control-center b/control-center index b2cad52b..4df6384b 100755 --- a/control-center +++ b/control-center @@ -1446,6 +1446,7 @@ sub sig_child() { if (my $tool = find { $tool_pids{$_} eq $child_pid } keys %tool_pids) { $tool_feedback{$tool}->(); delete $tool_pids{$tool}; + @pid_launched = grep { $_ ne $child_pid } @pid_launched; } undef $pid_exp if $pid_exp eq $child_pid; } while $child_pid > 0; -- cgit v1.2.1