[isabelle-dev] Repository trouble

Fri Dec 21 10:15:35 CET 2012

No one knows if somebody is doing something wrong.

I did a fresh clone (from the topmost non corrupted changeset) once 
again. Few commits are missing (I think by Jasmin and Sascha), as I 
didn't have them locally. You are both welcome to repush through 
lxbroy10 (please avoid macbroy20-29).

An empirical observation: hg verify mentioned Sledgehammer/MaSh again 
(just as when it exploded few days ago after my push).

Dmitriy

On 21.12.2012 08:16, Sascha Boehme wrote:
> Hi,
>
> It could have been caused by my commit last night. I am not sure what 
> I did wrong, though.
>
> Cheers,
> Sascha
> ------------------------------------------------------------------------
> 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
>
>
> _______________________________________________
> 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/d1132c4d/attachment-0002.html>