[isabelle-dev] Repository trouble

Sascha Boehme boehmes at in.tum.de
Fri Dec 21 08:16:30 CET 2012


Hi,

It could have been caused by my commit last night. I am not sure what I did wrong, though.

Cheers,
Sascha

----- Urspr�ngliche Nachricht -----
Von: Christian Sternagel
Gesendet: 21.12.2012 04:08
An: isabelle-dev
Betreff: [isabelle-dev] Repository trouble

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20121221/4abe326a/attachment.html>


More information about the isabelle-dev mailing list