diff options
-rwxr-xr-x | mdkapplet | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -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(); } |