summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xurpmi.addmedia5
1 files changed, 0 insertions, 5 deletions
diff --git a/urpmi.addmedia b/urpmi.addmedia
index 3bf79ba2..c050a8ae 100755
--- a/urpmi.addmedia
+++ b/urpmi.addmedia
@@ -185,11 +185,6 @@ if ($options{distrib}) {
if ($options{raw}) {
urpm::media::write_config($urpm);
} else {
- local $SIG{INT} = sub {
- my $medium = urpm::media::name2medium($urpm, $name);
- remove_failed($urpm, $medium) if $medium && $medium->{modified};
- exit(1);
- };
$ok = urpm::media::update_media($urpm, %options,
quiet => $options{verbose} < 0,
callback => \&urpm::download::sync_logger);