[darcs-devel] [issue2062] Darcs does not retry on failed http get/pull, resulting in useless repo

Andrew Kroll bugs at darcs.net
Thu Apr 7 02:22:34 UTC 2011


New submission from Andrew Kroll <a at oo.ms>:

When 'darcs get' or 'darcs pull' has a failure during http download,
darcs does not try to re-get or resume the download. A resume would be
the proper thing to do, but a full retry would also be acceptable.

Without recovery, the repository copy created is corrupted and unusable. 

If automatic retry fails after 3 attempts, darcs should be smart enough
to know where it left off, so that a manual resume may be performed once
the network problem is resolved.

----------
messages: 13910
nosy: ajsk
priority: urgent
status: unknown
title: Darcs does not retry on failed http get/pull, resulting in useless repo

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/issue2062>
__________________________________


More information about the darcs-devel mailing list