From 8b190cc23b16ee92c778cc83f34ee74c267a64c9 Mon Sep 17 00:00:00 2001 From: Thierry Vignaud Date: Thu, 4 Sep 2008 13:22:11 +0000 Subject: (add_media) keep media manager PID around (needed for next commits) --- mdkapplet | 5 +++-- 1 file 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(); } -- cgit v1.2.1