[darcs-users] Problem get'ing a repository

[Sean E. Russell]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On Saturday 18 October 2003 07:40, David Roundy wrote:
> No, it looks like a bug somewhere.  The most likely candidate is in the
> patch parsing code, which is rather optimistic.  The strange thing is that
> it works on the one system but not on the other.

That's what I thought, but:

> Can you try copying the entire repository from the first system to the
> second (perhaps by tarring it up), and then doing a local get? i.e. a
>
> darcs get -v /tmp/reponame

That sort of works.  The patch succeeds, but the resulting repository has that 
same error.  Also, darcs check appears to be leaving behind a darcs_check 
directory.  (I've removed blank lines from this script):

ser at petra /tmp% ssh maus 'cd /web/Germane-Software/darcs ; tar cjf - rexml' | 
tar xjf -
bzip2: (stdin): trailing garbage after EOF ignored
ser at petra /tmp% darcs get -v rexml
Getting the inventory...
Copying Initial_patch-ser9germane-software.com-Fri_Oct_17_15.38.58_PDT_2003
Finished getting.
ser at petra /tmp% cd rexml
ser at petra /tmp/rexml% darcs check
The repo is consistent!
ser at petra /tmp/rexml% cd ../rexml_0
ser at petra /tmp/rexml_0% darcs check
Error:  try removing directory `/tmp/darcs_check'
ser at petra /tmp/rexml_0% rm -rf ../darcs_check
ser at petra /tmp/rexml_0% darcs check
Fail: Patch.lhs:1944: Non-exhaustive patterns in case


Now, there is something I've noticed: Apache (or my Apache install, at least) 
forwards connections to directories to another URL.  EG, if I say:

	http://maus/darcs

it results in a redirect to:

	http://maus/darcs/

Will darcs catch this?

> Also, is there any change I could get a copy of this repository for
> testing? I'd very much like to track down this problem, but unfortunately

Sure:

	http://www.germane-software.com/darcs/rexml

I'll email you a tarball privately so as to not pollute the list.

> It would also be good to try on the first system running "darcs check",
> just to make sure the repository isn't corrupt.  You could also try "darcs
> check" on the second system after copying the repo over by hand.

Yeah, I had tried that on the server-side repository, and it seemed OK.  It 
also succeeds when I move the repository via tar (no surprise).  One thing 
that seemed odd to me was the presence of an empty "pending" file in the 
server-side repository; I don't know if it was supposed to be there, but 
darcs check, record, and whatsnew didn't report any unusual results.

- -- 
### SER   
### Deutsch|Esperanto|Francaise|Linux|XML|Java|Ruby|Aikido|Dirigibles
### http://www.germane-software.com/~ser  jabber.com:ser  ICQ:83578737 
### GPG: http://www.germane-software.com/~ser/Security/ser_public.gpg
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.1 (GNU/Linux)

iD8DBQE/kT4jP0KxygnleI8RAnVUAJ9L3/4m4KtsR6BseWMt6vNBekATfQCeNl5n
WlZNhlmePUtJiFhB/svMMkw=
=5CtG
-----END PGP SIGNATURE-----