krauss at in.tum.de
Thu Aug 16 22:40:19 CEST 2012
Quoting Makarius <makarius at sketis.net>:
> The end of Python vomiting has this:
> <class 'mpatch.mpatchError'>: patch cannot be decoded
> args = ('patch cannot be decoded',)
> message = 'patch cannot be decoded'
> This is the same dropout that we've had on
> http://isabelle.in.tum.de/repos/isabelle last week.
> It could be an NFS corruption of the repository, or just the server
> feeling too hot. I've no real idea.
This seems to be happening regularly now, which is really very
annoying. I do not know what the cause is. Since I'll be mostly
offline starting from Saturday, here is how to fix it when it occurs.
If it happens on the main repos, the mailing list should be contacted
before attempting any manual repair:
* run "hg verify" on the repository. It shows some errors (that is,
the repository is corrupted), and it also shows the revision number
REV of the first damaged changeset.
* Strip the broken revisions (after making a backup):
cp -a . /some/backup/location
hg strip -n REV
(Note: This seems to fail with the newest version installed at some
machines: here, strip also produces an exception. However, hg 2.1.1
installed at lxbroy10 works).
* Re-push the changesests that got stripped from some other clone.
Googling the error message is rather inconclusive. After all, it is a
repo corrruption, but we don't know how it arises and cannot reproduce
Who pushed to testboard today? What machines
were you using as gateway, i.e., what location did you push to (see
Let's see if this occurs again with hte main repos, or if the recent
re-coling eliminated the problem there.
More information about the isabelle-dev