summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorThierry Vignaud <tv@mandriva.org>2008-09-04 13:22:11 +0000
committerThierry Vignaud <tv@mandriva.org>2008-09-04 13:22:11 +0000
commit8b190cc23b16ee92c778cc83f34ee74c267a64c9 (patch)
treef5836e5cea6178b03e30efd6f13aae5fca3f4052
parent4848ed60ea7a1ddb8d773153b5eba141f3ae7540 (diff)
downloadmgaonline-8b190cc23b16ee92c778cc83f34ee74c267a64c9.tar
mgaonline-8b190cc23b16ee92c778cc83f34ee74c267a64c9.tar.gz
mgaonline-8b190cc23b16ee92c778cc83f34ee74c267a64c9.tar.bz2
mgaonline-8b190cc23b16ee92c778cc83f34ee74c267a64c9.tar.xz
mgaonline-8b190cc23b16ee92c778cc83f34ee74c267a64c9.zip
(add_media) keep media manager PID around (needed for next commits)
-rwxr-xr-xmdkapplet5
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();
}