<html><head><meta content="text/html; charset=us-ascii" http-equiv="Content-Type"></head><body><div><div style="font-family: Calibri,sans-serif; font-size: 11pt;">Hi,<br><br>It could have been caused by my commit last night. I am not sure what I did wrong, though.<br><br>Cheers,<br>Sascha<br></div></div><hr><span style="font-family: Tahoma,sans-serif; font-size: 10pt; font-weight: bold;">Von: </span><span style="font-family: Tahoma,sans-serif; font-size: 10pt;">Christian Sternagel</span><br><span style="font-family: Tahoma,sans-serif; font-size: 10pt; font-weight: bold;">Gesendet: </span><span style="font-family: Tahoma,sans-serif; font-size: 10pt;">21.12.2012 04:08</span><br><span style="font-family: Tahoma,sans-serif; font-size: 10pt; font-weight: bold;">An: </span><span style="font-family: Tahoma,sans-serif; font-size: 10pt;">isabelle-dev</span><br><span style="font-family: Tahoma,sans-serif; font-size: 10pt; font-weight: bold;">Betreff: </span><span style="font-family: Tahoma,sans-serif; font-size: 10pt;">[isabelle-dev] Repository trouble</span><br><br>Dear all,<br><br>just now, when I tried<br><br> hg in<br><br>in the development repo, I got the error below. My mercurial version is <br>2.2.3 (for at least some weeks). Did anybody else experience similar <br>problems?<br><br>cheers<br><br>chris<br><br>comparing with http://isabelle.in.tum.de/repos/isabelle<br>searching for changes<br>changeset: 50600:48c0c3bc40dd<br>** unknown exception encountered, please report by visiting<br>** http://mercurial.selenic.com/wiki/BugTracker<br>** Python 2.7.3 (default, Jul 24 2012, 10:05:38) [GCC 4.7.0 20120507 <br>(Red Hat 4.7.0-5)]<br>** Mercurial Distributed SCM (version 2.2.3)<br>** Extensions loaded: graphlog, mq, rebase, color, pager<br>Traceback (most recent call last):<br> File "/usr/bin/hg", line 38, in <module><br> mercurial.dispatch.run()<br> File "/usr/lib64/python2.7/site-packages/mercurial/dispatch.py", line <br>27, in run<br> sys.exit((dispatch(request(sys.argv[1:])) or 0) & 255)<br> File "/usr/lib64/python2.7/site-packages/mercurial/dispatch.py", line <br>64, in dispatch<br> return _runcatch(req)<br> File "/usr/lib64/python2.7/site-packages/mercurial/dispatch.py", line <br>87, in _runcatch<br> return _dispatch(req)<br> File "/usr/lib64/python2.7/site-packages/mercurial/dispatch.py", line <br>696, in _dispatch<br> cmdpats, cmdoptions)<br> File "/usr/lib64/python2.7/site-packages/mercurial/dispatch.py", line <br>472, in runcommand<br> ret = _runcommand(ui, options, cmd, d)<br> File "/usr/lib64/python2.7/site-packages/mercurial/extensions.py", <br>line 184, in wrap<br> return wrapper(origfn, *args, **kwargs)<br> File "/usr/lib64/python2.7/site-packages/hgext/pager.py", line 91, in <br>pagecmd<br> return orig(ui, options, cmd, cmdfunc)<br> File "/usr/lib64/python2.7/site-packages/mercurial/extensions.py", <br>line 184, in wrap<br> return wrapper(origfn, *args, **kwargs)<br> File "/usr/lib64/python2.7/site-packages/hgext/color.py", line 362, <br>in colorcmd<br> return orig(ui_, opts, cmd, cmdfunc)<br> File "/usr/lib64/python2.7/site-packages/mercurial/dispatch.py", line <br>786, in _runcommand<br> return checkargs()<br> File "/usr/lib64/python2.7/site-packages/mercurial/dispatch.py", line <br>757, in checkargs<br> return cmdfunc()<br> File "/usr/lib64/python2.7/site-packages/mercurial/dispatch.py", line <br>693, in <lambda><br> d = lambda: util.checksignature(func)(ui, *args, **cmdoptions)<br> File "/usr/lib64/python2.7/site-packages/mercurial/util.py", line <br>463, in check<br> return func(*args, **kwargs)<br> File "/usr/lib64/python2.7/site-packages/mercurial/extensions.py", <br>line 139, in wrap<br> util.checksignature(origfn), *args, **kwargs)<br> File "/usr/lib64/python2.7/site-packages/mercurial/util.py", line <br>463, in check<br> return func(*args, **kwargs)<br> File "/usr/lib64/python2.7/site-packages/hgext/mq.py", line 3396, in <br>mqcommand<br> return orig(ui, repo, *args, **kwargs)<br> File "/usr/lib64/python2.7/site-packages/mercurial/util.py", line <br>463, in check<br> return func(*args, **kwargs)<br> File "/usr/lib64/python2.7/site-packages/mercurial/extensions.py", <br>line 139, in wrap<br> util.checksignature(origfn), *args, **kwargs)<br> File "/usr/lib64/python2.7/site-packages/mercurial/util.py", line <br>463, in check<br> return func(*args, **kwargs)<br> File "/usr/lib64/python2.7/site-packages/hgext/graphlog.py", line <br>560, in graph<br> return orig(*args, **kwargs)<br> File "/usr/lib64/python2.7/site-packages/mercurial/util.py", line <br>463, in check<br> return func(*args, **kwargs)<br> File "/usr/lib64/python2.7/site-packages/mercurial/commands.py", line <br>3786, in incoming<br> return hg.incoming(ui, repo, source, opts)<br> File "/usr/lib64/python2.7/site-packages/mercurial/hg.py", line 501, <br>in incoming<br> return _incoming(display, subreporecurse, ui, repo, source, opts)<br> File "/usr/lib64/python2.7/site-packages/mercurial/hg.py", line 470, <br>in _incoming<br> displaychlist(other, chlist, displayer)<br> File "/usr/lib64/python2.7/site-packages/mercurial/hg.py", line 500, <br>in display<br> displayer.show(other[n])<br> File "/usr/lib64/python2.7/site-packages/mercurial/cmdutil.py", line <br>661, in show<br> self._show(ctx, copies, matchfn, props)<br> File "/usr/lib64/python2.7/site-packages/mercurial/cmdutil.py", line <br>692, in _show<br> for tag in self.repo.nodetags(changenode):<br> File "/usr/lib64/python2.7/site-packages/mercurial/localrepo.py", <br>line 468, in nodetags<br> if not self._tagscache.nodetagscache:<br> File "/usr/lib64/python2.7/site-packages/mercurial/util.py", line <br>237, in __get__<br> result = self.func(obj)<br> File "/usr/lib64/python2.7/site-packages/mercurial/localrepo.py", <br>line 395, in _tagscache<br> cache.tags, cache.tagtypes = self._findtags()<br> File "/usr/lib64/python2.7/site-packages/mercurial/localrepo.py", <br>line 428, in _findtags<br> tagsmod.findglobaltags(self.ui, self, alltags, tagtypes)<br> File "/usr/lib64/python2.7/site-packages/mercurial/tags.py", line 30, <br>in findglobaltags<br> (heads, tagfnode, cachetags, shouldwrite) = _readtagcache(ui, repo)<br> File "/usr/lib64/python2.7/site-packages/mercurial/tags.py", line <br>242, in _readtagcache<br> fnode = cctx.filenode('.hgtags')<br> File "/usr/lib64/python2.7/site-packages/mercurial/context.py", line <br>251, in filenode<br> return self._fileinfo(path)[0]<br> File "/usr/lib64/python2.7/site-packages/mercurial/context.py", line <br>243, in _fileinfo<br> node, flag = self._repo.manifest.find(self._changeset[0], path)<br> File "/usr/lib64/python2.7/site-packages/mercurial/manifest.py", line <br>107, in find<br> text = self.revision(node)<br> File "/usr/lib64/python2.7/site-packages/mercurial/bundlerepo.py", <br>line 128, in revision<br> text = mdiff.patches(text, [delta])<br>mpatch.mpatchError: patch cannot be decoded<br><br>_______________________________________________<br>isabelle-dev mailing list<br>isabelle-dev@in.tum.de<br>https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev<br></body></html>