diff options
author | Rafael Garcia-Suarez <rgarciasuarez@mandriva.org> | 2004-10-20 11:47:58 +0000 |
---|---|---|
committer | Rafael Garcia-Suarez <rgarciasuarez@mandriva.org> | 2004-10-20 11:47:58 +0000 |
commit | af69c2cf94df3b8f10bae3ae32f1d03f1200ac41 (patch) | |
tree | 69bce6ebfe8fcac0a676549ee60eb0018e94e91c /urpm.pm | |
parent | 8ac48f1ac8bf6876021ee288a4bc7b89ce7c1539 (diff) | |
download | urpmi-af69c2cf94df3b8f10bae3ae32f1d03f1200ac41.tar urpmi-af69c2cf94df3b8f10bae3ae32f1d03f1200ac41.tar.gz urpmi-af69c2cf94df3b8f10bae3ae32f1d03f1200ac41.tar.bz2 urpmi-af69c2cf94df3b8f10bae3ae32f1d03f1200ac41.tar.xz urpmi-af69c2cf94df3b8f10bae3ae32f1d03f1200ac41.zip |
Ignore local media when no rpm has been found.
Diffstat (limited to 'urpm.pm')
-rw-r--r-- | urpm.pm | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -1267,7 +1267,7 @@ this could happen if you mounted manually the directory when creating the medium #- an error occured (provided there are files in input.) delete $medium->{start}; delete $medium->{end}; - die "no rpms read\n"; + $urpm->{fatal}(9, N("no rpms read")); } else { #- make sure the headers will not be removed for another media. $clean_cache = 0; @@ -1283,6 +1283,7 @@ this could happen if you mounted manually the directory when creating the medium } else { $error = 1; $urpm->{error}(N("no rpm files found from [%s]", $dir)); + $medium->{ignore} = 1; } } } |