diff options
| author | Rafael Garcia-Suarez <rgarciasuarez@mandriva.org> | 2006-03-24 15:32:27 +0000 |
|---|---|---|
| committer | Rafael Garcia-Suarez <rgarciasuarez@mandriva.org> | 2006-03-24 15:32:27 +0000 |
| commit | 6221a0797dc6e206eb2e8a523b503928bc85d580 (patch) | |
| tree | 786bd7c2d54f3e19949c2a2a90da3c7577b21d0b /urpmi.addmedia | |
| parent | 1a8328de3774038f86bae1bd310b007bbb1fe064 (diff) | |
| download | urpmi-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-x | urpmi.addmedia | 4 |
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}}); |