summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorThierry Vignaud <tv@mandriva.org>2008-09-04 13:23:24 +0000
committerThierry Vignaud <tv@mandriva.org>2008-09-04 13:23:24 +0000
commit65d717ff6a9a3042a3f00d3f9eaae24100b89165 (patch)
tree699bd59effd978932726539f356cf65345fd4082
parent8b190cc23b16ee92c778cc83f34ee74c267a64c9 (diff)
downloadmgaonline-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--NEWS1
-rwxr-xr-xmdkapplet2
2 files changed, 3 insertions, 0 deletions
diff --git a/NEWS b/NEWS
index e3cb5df1..256ab16d 100644
--- a/NEWS
+++ b/NEWS
@@ -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
diff --git a/mdkapplet b/mdkapplet
index 49af2558..ecf544b5 100755
--- a/mdkapplet
+++ b/mdkapplet
@@ -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;