New submission from Clive Crous <[EMAIL PROTECTED]>:

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"

----------
messages: 487
nosy: clive, droundy, tommy
priority: bug
status: unread
title: incorrect error message upon DNS failure

____________________________________
Darcs issue tracker <[EMAIL PROTECTED]>
<http://bugs.darcs.net/issue131>
____________________________________

_______________________________________________
darcs-devel mailing list
[email protected]
http://www.abridgegame.org/cgi-bin/mailman/listinfo/darcs-devel

Reply via email to