(add_media) keep media manager PID around (needed for next commits)

1 files changed, 3 insertions, 2 deletions

diff --git a/mdkapplet b/mdkapplet
index f0e1ecd4..49af2558 100755
--- a/mdkapplet
+++ b/mdkapplet
@@ -291,7 +291,7 @@ sub is_there_a_new_distributions() {
 }
 
 
-my ($mdv_update_pid, $checker_pid);
+my ($mdv_update_pid, $checker_pid, $media_manager_pid);
 
 # Signal management 
 sub harvester {
@@ -373,8 +373,9 @@ sub upgrade() {
 }
 
 sub add_media() {
+    return if $media_manager_pid;
     logIt("Launching 'Software Media Manager'");
-    fork_exec('/usr/sbin/edit-urpm-sources.pl', '--no-splash', if_($root, "--urpmi-root=$root"));
+    $media_manager_pid = fork_exec('/usr/sbin/edit-urpm-sources.pl', '--no-splash', if_($root, "--urpmi-root=$root"));
     silentCheck(); gtkflush();
 }