diff options
author | Pascal Rigaux <pixel@mandriva.com> | 2008-02-23 22:36:58 +0000 |
---|---|---|
committer | Pascal Rigaux <pixel@mandriva.com> | 2008-02-23 22:36:58 +0000 |
commit | b549980870f105e0676584d9af73528fe52110e6 (patch) | |
tree | 068f90dc54359bb8eb3ee49dfdd1d148920154e2 /urpmi.addmedia | |
parent | 3b0a734676c8fdafaacc1f85af079eeb0b223ce0 (diff) | |
download | urpmi-b549980870f105e0676584d9af73528fe52110e6.tar urpmi-b549980870f105e0676584d9af73528fe52110e6.tar.gz urpmi-b549980870f105e0676584d9af73528fe52110e6.tar.bz2 urpmi-b549980870f105e0676584d9af73528fe52110e6.tar.xz urpmi-b549980870f105e0676584d9af73528fe52110e6.zip |
at least display an error message on error
Diffstat (limited to 'urpmi.addmedia')
-rwxr-xr-x | urpmi.addmedia | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/urpmi.addmedia b/urpmi.addmedia index c050a8ae..18d93061 100755 --- a/urpmi.addmedia +++ b/urpmi.addmedia @@ -180,7 +180,8 @@ if ($options{distrib}) { ignore => $options{raw}, nolock => $options{nolock}, 'xml-info' => $options{'xml-info'}, - ); + ) or $urpm->{fatal}(10, N("unable to add medium")); + urpm::download::copy_cmd_line_proxy($name); if ($options{raw}) { urpm::media::write_config($urpm); |