[isabelle-dev] Repository trouble

Dmitriy Traytel traytel at in.tum.de
Fri Dec 21 09:48:50 CET 2012


I'm looking intro it.

Dmitriy

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




More information about the isabelle-dev mailing list