On Fri, 2013-04-12 at 22:37 +0200, Martin Jansa wrote:
On Fri, Apr 12, 2013 at 03:44:41PM -0400, Trevor Woerner wrote:
Sorry for not noticing this sooner.
On Thu, Apr 11, 2013 at 9:30 AM, Martin Jansa martin.ja...@gmail.com
wrote:
My proposal is to add md5sum of downloaded file to
Sorry for not noticing this sooner.
On Thu, Apr 11, 2013 at 9:30 AM, Martin Jansa martin.ja...@gmail.com wrote:
My proposal is to add md5sum of downloaded file to ChecksumError and
rename it to file.md5sum in if isinstance(e, ChecksumError):
Would it be possible to make this behaviour
On Fri, Apr 12, 2013 at 03:44:41PM -0400, Trevor Woerner wrote:
Sorry for not noticing this sooner.
On Thu, Apr 11, 2013 at 9:30 AM, Martin Jansa martin.ja...@gmail.com wrote:
My proposal is to add md5sum of downloaded file to ChecksumError and
rename it to file.md5sum in if isinstance(e,
On Thu, 2013-04-11 at 15:30 +0200, Martin Jansa wrote:
Hi,
when fetcher fails with ChecksumError it shows error like in subject and
tries another MIRRORs
Would anyone object to keep fetched source with wrong checksum in
downloads directory (renamed so it does not conflict with file with
