summaryrefslogtreecommitdiffstats
path: root/urpmi.addmedia
diff options
context:
space:
mode:
authorRafael Garcia-Suarez <rgarciasuarez@mandriva.org>2006-03-24 15:32:27 +0000
committerRafael Garcia-Suarez <rgarciasuarez@mandriva.org>2006-03-24 15:32:27 +0000
commit6221a0797dc6e206eb2e8a523b503928bc85d580 (patch)
tree786bd7c2d54f3e19949c2a2a90da3c7577b21d0b /urpmi.addmedia
parent1a8328de3774038f86bae1bd310b007bbb1fe064 (diff)
downloadurpmi-6221a0797dc6e206eb2e8a523b503928bc85d580.tar
urpmi-6221a0797dc6e206eb2e8a523b503928bc85d580.tar.gz
urpmi-6221a0797dc6e206eb2e8a523b503928bc85d580.tar.bz2
urpmi-6221a0797dc6e206eb2e8a523b503928bc85d580.tar.xz
urpmi-6221a0797dc6e206eb2e8a523b503928bc85d580.zip
Add a SIGINT handler for --distrib too
Diffstat (limited to 'urpmi.addmedia')
-rwxr-xr-xurpmi.addmedia4
1 files changed, 4 insertions, 0 deletions
diff --git a/urpmi.addmedia b/urpmi.addmedia
index 95969848..cdd86e92 100755
--- a/urpmi.addmedia
+++ b/urpmi.addmedia
@@ -131,6 +131,10 @@ if ($options{distrib}) {
probe_with => $options{probe_with},
nolock => $options{nolock},
);
+ local $SIG{INT} = sub {
+ remove_failed($urpm, grep { $_->{modified} } @{$urpm->{media}});
+ exit(1);
+ };
$urpm->update_media(%options, callback => \&urpm::download::sync_logger);
remove_failed($urpm, grep { $_->{modified} } @{$urpm->{media}});