[darcs-devel] [issue2062] Darcs does not retry on failed http get/pull, resulting in useless repo
Eric Kow
bugs at darcs.net
Tue Aug 23 19:43:22 UTC 2011
Eric Kow <kowey at darcs.net> added the comment:
Thanks for the suggestions! We should think about ways to get you
unstuck. Are you fetching 3rd-party repositories here, or is it
primarily repositories you (ultimately) have control over? Also, do you
have any idea if the repositories you are fetching are "hashed"
repositories? There may be some way to exploit the file contents hashes
and caching that darcs already provides ("hashed" files are copied to a
global cache, so subsequent fetches can be faster; perhaps it would
suffice to detect the misfetched files and delete them)
Could I ask you to redirect the transaction journal remark to darcs-
users? I don't think I'm a good person to comment on this.
__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/issue2062>
__________________________________
More information about the darcs-devel
mailing list