darcs

Issue 131 incorrect error message upon DNS failure

Title incorrect error message upon DNS failure
Priority bug Status resolved
Milestone Resolved in
Superseder Nosy List clive, darcs-devel, dmitry.kurochkin, jch, kowey, thorkilnaur, tommy
Assigned To
Topics

Created on 2006-02-14.06:36:04 by clive, last changed 2009-08-27.13:47:03 by admin.

Messages
msg487 (view) Author: clive Date: 2006-02-14.06:36:03
I had a DNS error on my one server (without knowing this) and the following occured:
--
scorpion% darcs pull --verbose --all http://usrsrc.org/darcs/rupov/

darcs failed:  Not a repository: http://usrsrc.org/darcs/rupov/
--


It was only after a while that i thought to try ping:
--
scorpion% ping usrsrc.org
ping: cannot resolve usrsrc.org: No address associated with name
--

the url provided certainly *is* a repository, even a message that elluded to
some form of network error would be better than: "that is not a repo"
msg579 (view) Author: jch Date: 2006-03-25.23:31:13
I've just looked into that... and it's tricky.

The guilty party is identifyRepository, in Repository.lhs.  This function checks
for the existence of .../_darcs and .../.git, ignoring errors, and uses whichever
it finds; if it finds neither, it fails with the error message Clive mentioned.

So we must in some way record errors when checking for _darcs and .git, and
report either (or both?) of the errors when both checks failed.  It's going
to be messy.
msg580 (view) Author: jch Date: 2006-03-25.23:49:55
I'm submitting a patch for that.  The reporting format is horrible, but I guess
that's better than the current state:

$ ./darcs pull http://foo.example.com

darcs failed:  Not a repository: http://foo.example.com (user error (Failed to
download URL http://foo.example.com/_darcs/inventory
libcurl: couldn't resolve host))
History
Date User Action Args
2006-02-14 06:36:04clivecreate
2006-03-25 23:23:29jchsetnosy: + jch
2006-03-25 23:31:14jchsetstatus: unread -> unknown
nosy: droundy, jch, tommy, clive
messages: + msg579
2006-03-25 23:49:57jchsetnosy: droundy, jch, tommy, clive
messages: + msg580
2006-04-07 20:04:22jchsetstatus: unknown -> resolved-in-unstable
nosy: droundy, jch, tommy, clive
2006-05-04 17:30:10jchsetstatus: resolved-in-unstable -> resolved
nosy: droundy, jch, tommy, clive
2009-08-06 17:32:08adminsetnosy: + markstos, jast, Serware, dmitry.kurochkin, darcs-devel, zooko, dagit, mornfall, simon, kowey, beschmi, thorkilnaur, - droundy, jch, clive
2009-08-06 20:49:01adminsetnosy: - beschmi
2009-08-10 21:50:56adminsetnosy: + clive, jch, - markstos, darcs-devel, zooko, jast, dagit, Serware, mornfall
2009-08-25 17:46:53adminsetnosy: + darcs-devel, - simon
2009-08-27 13:47:03adminsetnosy: jch, tommy, kowey, darcs-devel, clive, thorkilnaur, dmitry.kurochkin