[darcs-devel] [issue1131] URL.urlThread: same URLs with different parameters

[David Roundy]

New submission from David Roundy <droundy at darcs.net>:

Hi all,

I've run into the "same URLs with different parameters" bug again.  I've
reproduced it something like four times in a row.  In looking at the URL code,
it's not clear to me why this is considered a bug.  Why not just download the
first copy first, and then either copy it to the second filename or just
download it a second time?  We could track down why darcs is downloading this
file twice (you can see that I've added more debug information to the debug
message), but I think we're better off simply making the URL framework more
robust, since sooner or later someone is going to try downloading the same file
twice again, and the bug message will just pop up again.

David

$ time darcs push
Pushing to "darcy.physics.oregonstate.edu:darcs-central"...
darcs: bug in darcs!
URL.urlThread: same URLs with different parameters
http://darcs.net/_darcs/patches/0000000326-1a009975632a59cf2885b9b79d977ee5a74020d2924520fcfeff8495cc461a5a
./darcs797("./darcs797","/home/droundy/.darcs/cache/patches/0000000326-1a009975632a59cf2885b9b79d977ee5a74020d2924520fcfeff8495cc461a5a",Cachable,Cachable)
at src/URL.hs:152 compiled Oct  2 2008 17:52:58
This is a prerelease version of darcs.
You can check to see if this bug is already known at http://bugs.darcs.net/
If it is not, please report this to bugs at darcs.net
If possible include the output of 'darcs --exact-version'.

----------
messages: 6257
nosy: dagit, dmitry.kurochkin, droundy, kowey, simon, thorkilnaur
priority: bug
status: unread
title: URL.urlThread: same URLs with different parameters

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