diff options
author | Pascal Rigaux <pixel@mandriva.com> | 2008-09-23 15:54:24 +0000 |
---|---|---|
committer | Pascal Rigaux <pixel@mandriva.com> | 2008-09-23 15:54:24 +0000 |
commit | ab25ce721b7bf62841c6d9c1ded8a762fb717784 (patch) | |
tree | acb3d6303153823b69308219646ba8c5b65214c4 /urpm/args.pm | |
parent | 0ff68bc2ce17ed97d22575c250c1d569638c1801 (diff) | |
download | urpmi-ab25ce721b7bf62841c6d9c1ded8a762fb717784.tar urpmi-ab25ce721b7bf62841c6d9c1ded8a762fb717784.tar.gz urpmi-ab25ce721b7bf62841c6d9c1ded8a762fb717784.tar.bz2 urpmi-ab25ce721b7bf62841c6d9c1ded8a762fb717784.tar.xz urpmi-ab25ce721b7bf62841c6d9c1ded8a762fb717784.zip |
- use "versioned" media_info files
(needed for aria2 to handle mirrors not having some media_info/*)
it fixes:
- downloading parts of media_info file from different mirrors and failing to
obtain a valid result
- checking md5sum of media_info files
Diffstat (limited to 'urpm/args.pm')
0 files changed, 0 insertions, 0 deletions