diff options
author | Thierry Vignaud <tvignaud@mandriva.org> | 2005-01-24 10:47:04 +0000 |
---|---|---|
committer | Thierry Vignaud <tvignaud@mandriva.org> | 2005-01-24 10:47:04 +0000 |
commit | 52439a4188380b1a907b5d4fbfdcbdc83dc8d96c (patch) | |
tree | c4153ef56680b579c88b1f8160461cacbd2d741f | |
parent | 3808b71a42d3b22975fcf70cb195ad3d78e378c4 (diff) | |
download | control-center-52439a4188380b1a907b5d4fbfdcbdc83dc8d96c.tar control-center-52439a4188380b1a907b5d4fbfdcbdc83dc8d96c.tar.gz control-center-52439a4188380b1a907b5d4fbfdcbdc83dc8d96c.tar.bz2 control-center-52439a4188380b1a907b5d4fbfdcbdc83dc8d96c.tar.xz control-center-52439a4188380b1a907b5d4fbfdcbdc83dc8d96c.zip |
(sig_child) remove PIDs from PID list when children exit()
-rwxr-xr-x | control-center | 1 |
1 files changed, 1 insertions, 0 deletions
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; |