Hi everyone,
mira still crashes from time to time. Sometimes, it is not a programming
error, but some external error condition which could maybe be handled
more gracefully:
Repository update fails: The repository corruptions yesterday and
some time ago caused a failed update (see attachment). Mira could
probabliy just go to sleep and try again later.
For future changes it might be worth to keep in mind that the Mercurial
project considers the python interface as internal:
http://mercurial.selenic.com/wiki/MercurialApi
-- Lars
[2012-09-06 01:38:29,211] CRITICAL mira *******************************************************************************************************
[2012-09-06 01:38:29,211] CRITICAL mira mira system error
[2012-09-06 01:38:29,211] CRITICAL mira *******************************************************************************************************
[2012-09-06 01:38:29,211] CRITICAL mira Traceback (most recent call last):
File "/home/isatest/testbench-main/mira/util/daemonize.py", line 80, in daemonize
result = f()
File "/home/isatest/testbench-main/mira/mira/environment.py", line 172, in daemon_activity
f()
File "/home/isatest/testbench-main/mira/mira/tools.py", line 118, in <lambda>
return env.daemonize(instance_name, lambda: loop(env, scheduler_expr))
File "/home/isatest/testbench-main/mira/mira/tools.py", line 107, in loop
env.workbench.loop(mira.schedule.parse_scheduler_expr(env, scheduler_expr))
File "/home/isatest/testbench-main/mira/mira/workbench.py", line 141, in loop
report = self.run(case)
File "/home/isatest/testbench-main/mira/mira/workbench.py", line 96, in run
return tuple(self.run_stepwise(case))[-1]
File "/home/isatest/testbench-main/mira/mira/workbench.py", line 56, in run_stepwise
commands.update(ui, repo, rev = rev)
File "/usr/local/ldist/DIR/mercurial-1.4.3/lib64/python2.7/site-packages/mercurial/commands.py", line 3202, in update
return hg.update(repo, rev)
File "/usr/local/ldist/DIR/mercurial-1.4.3/lib64/python2.7/site-packages/mercurial/hg.py", line 339, in update
stats = _merge.update(repo, node, False, False, None)
File "/usr/local/ldist/DIR/mercurial-1.4.3/lib64/python2.7/site-packages/mercurial/merge.py", line 493, in update
action += manifestmerge(repo, wc, p2, pa, overwrite, partial)
File "/usr/local/ldist/DIR/mercurial-1.4.3/lib64/python2.7/site-packages/mercurial/merge.py", line 167, in manifestmerge
m1, m2, ma = p1.manifest(), p2.manifest(), pa.manifest()
File "/usr/local/ldist/DIR/mercurial-1.4.3/lib64/python2.7/site-packages/mercurial/context.py", line 91, in manifest
def manifest(self): return self._manifest
File "/usr/local/ldist/DIR/mercurial-1.4.3/lib64/python2.7/site-packages/mercurial/util.py", line 150, in __get__
result = self.func(obj)
File "/usr/local/ldist/DIR/mercurial-1.4.3/lib64/python2.7/site-packages/mercurial/context.py", line 63, in _manifest
return self._repo.manifest.read(self._changeset[0])
File "/usr/local/ldist/DIR/mercurial-1.4.3/lib64/python2.7/site-packages/mercurial/manifest.py", line 44, in read
text = self.revision(node)
File "/usr/local/ldist/DIR/mercurial-1.4.3/lib64/python2.7/site-packages/mercurial/revlog.py", line 1021, in revision
text = mdiff.patches(text, bins)
mpatchError: patch cannot be decoded
[2012-09-06 01:38:29,212] CRITICAL mira *******************************************************************************************************
[2012-11-27 14:56:28,452] CRITICAL mira **************************************************************************************************************************
[2012-11-27 14:56:28,452] CRITICAL mira mira system error
[2012-11-27 14:56:28,452] CRITICAL mira **************************************************************************************************************************
[2012-11-27 14:56:28,452] CRITICAL mira Traceback (most recent call last):
File "/home/isatest/testbench-main/mira/util/daemonize.py", line 80, in daemonize
result = f()
File "/home/isatest/testbench-main/mira/mira/environment.py", line 172, in daemon_activity
f()
File "/home/isatest/testbench-main/mira/mira/tools.py", line 118, in <lambda>
return env.daemonize(instance_name, lambda: loop(env, scheduler_expr))
File "/home/isatest/testbench-main/mira/mira/tools.py", line 107, in loop
env.workbench.loop(mira.schedule.parse_scheduler_expr(env, scheduler_expr))
File "/home/isatest/testbench-main/mira/mira/workbench.py", line 141, in loop
report = self.run(case)
File "/home/isatest/testbench-main/mira/mira/workbench.py", line 96, in run
return tuple(self.run_stepwise(case))[-1]
File "/home/isatest/testbench-main/mira/mira/workbench.py", line 56, in run_stepwise
commands.update(ui, repo, rev = rev)
File "/usr/local/ldist/DIR/mercurial-1.4.3/lib64/python2.7/site-packages/mercurial/commands.py", line 3202, in update
return hg.update(repo, rev)
File "/usr/local/ldist/DIR/mercurial-1.4.3/lib64/python2.7/site-packages/mercurial/hg.py", line 339, in update
stats = _merge.update(repo, node, False, False, None)
File "/usr/local/ldist/DIR/mercurial-1.4.3/lib64/python2.7/site-packages/mercurial/merge.py", line 493, in update
action += manifestmerge(repo, wc, p2, pa, overwrite, partial)
File "/usr/local/ldist/DIR/mercurial-1.4.3/lib64/python2.7/site-packages/mercurial/merge.py", line 167, in manifestmerge
m1, m2, ma = p1.manifest(), p2.manifest(), pa.manifest()
File "/usr/local/ldist/DIR/mercurial-1.4.3/lib64/python2.7/site-packages/mercurial/context.py", line 91, in manifest
def manifest(self): return self._manifest
File "/usr/local/ldist/DIR/mercurial-1.4.3/lib64/python2.7/site-packages/mercurial/util.py", line 150, in __get__
result = self.func(obj)
File "/usr/local/ldist/DIR/mercurial-1.4.3/lib64/python2.7/site-packages/mercurial/context.py", line 63, in _manifest
return self._repo.manifest.read(self._changeset[0])
File "/usr/local/ldist/DIR/mercurial-1.4.3/lib64/python2.7/site-packages/mercurial/manifest.py", line 44, in read
text = self.revision(node)
File "/usr/local/ldist/DIR/mercurial-1.4.3/lib64/python2.7/site-packages/mercurial/revlog.py", line 1021, in revision
text = mdiff.patches(text, bins)
mpatchError: patch cannot be decoded
[2012-11-27 14:56:28,452] CRITICAL mira **************************************************************************************************************************
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
