diff options
| -rwxr-xr-x | urpmi.addmedia | 5 |
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); |