summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorRafael Garcia-Suarez <rgarciasuarez@mandriva.org>2004-10-20 11:47:58 +0000
committerRafael Garcia-Suarez <rgarciasuarez@mandriva.org>2004-10-20 11:47:58 +0000
commitaf69c2cf94df3b8f10bae3ae32f1d03f1200ac41 (patch)
tree69bce6ebfe8fcac0a676549ee60eb0018e94e91c
parent8ac48f1ac8bf6876021ee288a4bc7b89ce7c1539 (diff)
downloadurpmi-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.
-rw-r--r--urpm.pm3
1 files changed, 2 insertions, 1 deletions
diff --git a/urpm.pm b/urpm.pm
index 6791d11c..0c55331a 100644
--- a/urpm.pm
+++ b/urpm.pm
@@ -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;
}
}
}