[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