From 65d717ff6a9a3042a3f00d3f9eaae24100b89165 Mon Sep 17 00:00:00 2001 From: Thierry Vignaud Date: Thu, 4 Sep 2008 13:23:24 +0000 Subject: (harvester) prevent running media manager more than one at a time --- NEWS | 1 + mdkapplet | 2 ++ 2 files changed, 3 insertions(+) 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; -- cgit v1.2.1