<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">No one knows if somebody is doing
something wrong.<br>
<br>
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).<br>
<br>
An empirical observation: hg verify mentioned Sledgehammer/MaSh
again (just as when it exploded few days ago after my push).<br>
<br>
Dmitriy<br>
<br>
On 21.12.2012 08:16, Sascha Boehme wrote:<br>
</div>
<blockquote
cite="mid:20121221071643.0A86D808A2481@mailmanbroy.informatik.tu-muenchen.de"
type="cite">
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
<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 <a class="moz-txt-link-freetext" href="http://isabelle.in.tum.de/repos/isabelle">http://isabelle.in.tum.de/repos/isabelle</a><br>
searching for changes<br>
changeset: 50600:48c0c3bc40dd<br>
** unknown exception encountered, please report by visiting<br>
** <a class="moz-txt-link-freetext" href="http://mercurial.selenic.com/wiki/BugTracker">http://mercurial.selenic.com/wiki/BugTracker</a><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>
<a class="moz-txt-link-abbreviated" href="mailto:isabelle-dev@in.tum.de">isabelle-dev@in.tum.de</a><br>
<a class="moz-txt-link-freetext" href="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev">https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev</a><br>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
isabelle-dev mailing list
<a class="moz-txt-link-abbreviated" href="mailto:isabelle-dev@in.tum.de">isabelle-dev@in.tum.de</a>
<a class="moz-txt-link-freetext" href="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev">https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev</a>
</pre>
</blockquote>
<br>
</body>
</html>