diff options
author | Thierry Vignaud <tv@mandriva.org> | 2008-09-04 13:23:24 +0000 |
---|---|---|
committer | Thierry Vignaud <tv@mandriva.org> | 2008-09-04 13:23:24 +0000 |
commit | 65d717ff6a9a3042a3f00d3f9eaae24100b89165 (patch) | |
tree | 699bd59effd978932726539f356cf65345fd4082 | |
parent | 8b190cc23b16ee92c778cc83f34ee74c267a64c9 (diff) | |
download | mgaonline-65d717ff6a9a3042a3f00d3f9eaae24100b89165.tar mgaonline-65d717ff6a9a3042a3f00d3f9eaae24100b89165.tar.gz mgaonline-65d717ff6a9a3042a3f00d3f9eaae24100b89165.tar.bz2 mgaonline-65d717ff6a9a3042a3f00d3f9eaae24100b89165.tar.xz mgaonline-65d717ff6a9a3042a3f00d3f9eaae24100b89165.zip |
(harvester) prevent running media manager more than one at a time
-rw-r--r-- | NEWS | 1 | ||||
-rwxr-xr-x | mdkapplet | 2 |
2 files changed, 3 insertions, 0 deletions
@@ -1,4 +1,5 @@ - mdkapplet: + o prevent running media manager more than one at a time o run media manager with --no-splash' option and handle "--urpmi-root=$root" o check again after adding update media @@ -311,6 +311,8 @@ sub harvester { logIt($state->{log}); go2State($state->{status}); } + } elsif ($media_manager_pid && $media_manager_pid == $childpid) { + undef $media_manager_pid; } push @pids, $childpid; } while $childpid > 0; |