| 
Created on 2006-02-14.06:36:04 by clive, last changed 2009-08-27.13:47:03 by admin. 
 
  
   | 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)) |  |
 
| Date | User | Action | Args |  | 2006-02-14 06:36:04 | clive | create |  |  | 2006-03-25 23:23:29 | jch | set | nosy:
  + jch |  | 2006-03-25 23:31:14 | jch | set | status: unread -> unknown nosy:
  droundy, jch, tommy, clive
 messages:
  + msg579
 |  | 2006-03-25 23:49:57 | jch | set | nosy:
  droundy, jch, tommy, clive messages:
  + msg580
 |  | 2006-04-07 20:04:22 | jch | set | status: unknown -> resolved-in-unstable nosy:
  droundy, jch, tommy, clive
 |  | 2006-05-04 17:30:10 | jch | set | status: resolved-in-unstable -> resolved nosy:
  droundy, jch, tommy, clive
 |  | 2009-08-06 17:32:08 | admin | set | nosy:
  + markstos, jast, Serware, dmitry.kurochkin, darcs-devel, zooko, dagit, mornfall, simon, kowey, beschmi, thorkilnaur, - droundy, jch, clive |  | 2009-08-06 20:49:01 | admin | set | nosy:
  - beschmi |  | 2009-08-10 21:50:56 | admin | set | nosy:
  + clive, jch, - markstos, darcs-devel, zooko, jast, dagit, Serware, mornfall |  | 2009-08-25 17:46:53 | admin | set | nosy:
  + darcs-devel, - simon |  | 2009-08-27 13:47:03 | admin | set | nosy:
  jch, tommy, kowey, darcs-devel, clive, thorkilnaur, dmitry.kurochkin | 
 |