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);