[isabelle-dev] Reasons mira crashes

[Lars Noschinski]

On 28.11.2012 10:11, Lars Noschinski wrote:
> Hi everyone,
>
> mira still crashes from time to time.

I got a new one today.

   lxbroy10     testboard   `mira daemon 'bisect(Isabelle_makeall)'`

was hanging for more then 10 days in "Mirroring master repositories".
Seems to be buried deep inside mercurial code.


[2013-01-19 07:04:51,215] INFO mira.workbench No cases selected in this 
iteration.  Sleeping...
[2013-01-19 07:05:51,315] INFO mira.workbench Mirroring master 
repositories...
[2013-01-29 17:39:51,426] INFO mira.daemon Encountered SIGTERM signal; 
terminating.
Traceback (most recent call last):
    File "/home/isatest/testbench/mira/bin/mira", line 17, in <module>
     bootstrap.cli(app_location, sys.argv[1:])
   File "/home/isatest/testbench/mira/mira/bootstrap.py", line 57, in cli
     raise SystemExit(tool(env, *args))
   File "/home/isatest/testbench/mira/mira/tools.py", line 118, in daemon
     return env.daemonize(instance_name, lambda: loop(env, scheduler_expr))
   File "/home/isatest/testbench/mira/mira/environment.py", line 200, in 
daemonize
     notification = partial(notify, 'mira system error'))
   File "/home/isatest/testbench/mira/util/daemonize.py", line 80, in 
daemonize
     result = f()
   File "/home/isatest/testbench/mira/mira/environment.py", line 172, in 
daemon_activity
     f()
   File "/home/isatest/testbench/mira/mira/tools.py", line 118, in <lambda>
     return env.daemonize(instance_name, lambda: loop(env, scheduler_expr))
   File "/home/isatest/testbench/mira/mira/tools.py", line 107, in loop
     env.workbench.loop(mira.schedule.parse_scheduler_expr(env, 
scheduler_expr))
   File "/home/isatest/testbench/mira/mira/workbench.py", line 132, in loop
     repositories.mirror_all(self.env)
   File "/home/isatest/testbench/mira/mira/repositories.py", line 53, in 
mirror_all
     repos.mirror(env)
   File "/home/isatest/testbench/mira/mira/repository.py", line 137, in 
mirror
     mercurial.commands.pull(repository.ui, repository)
   File 
"/usr/local/ldist/DIR/mercurial-1.4.3/lib64/python2.7/site-packages/mercurial/commands.py", 
line 2308, in pull
     other = hg.repository(cmdutil.remoteui(repo, opts), source)
   File 
"/usr/local/ldist/DIR/mercurial-1.4.3/lib64/python2.7/site-packages/mercurial/hg.py", 
line 63, in repository
     repo = _lookup(path).instance(ui, path, create)
   File 
"/usr/local/ldist/DIR/mercurial-1.4.3/lib64/python2.7/site-packages/mercurial/httprepo.py", 
line 263, in instance
     inst.between([(nullid, nullid)])
   File 
"/usr/local/ldist/DIR/mercurial-1.4.3/lib64/python2.7/site-packages/mercurial/httprepo.py", 
line 184, in between
     d = self.do_read("between", pairs=n)
   File 
"/usr/local/ldist/DIR/mercurial-1.4.3/lib64/python2.7/site-packages/mercurial/httprepo.py", 
line 128, in do_read
     fp = self.do_cmd(cmd, **args)
   File 
"/usr/local/ldist/DIR/mercurial-1.4.3/lib64/python2.7/site-packages/mercurial/httprepo.py", 
line 80, in do_cmd
     resp = self.urlopener.open(urllib2.Request(cu, data, headers))
   File "/usr/lib64/python2.7/urllib2.py", line 400, in open
     response = self._open(req, data)
   File "/usr/lib64/python2.7/urllib2.py", line 418, in _open
     '_open', req)
   File "/usr/lib64/python2.7/urllib2.py", line 378, in _call_chain
     result = func(*args)
   File 
"/usr/local/ldist/DIR/mercurial-1.4.3/lib64/python2.7/site-packages/mercurial/url.py", 
line 415, in http_open
     return self.do_open(httpconnection, req)
   File 
"/usr/local/ldist/DIR/mercurial-1.4.3/lib64/python2.7/site-packages/mercurial/keepalive.py", 
line 250, in do_open
     r = h.getresponse()
   File 
"/usr/local/ldist/DIR/mercurial-1.4.3/lib64/python2.7/site-packages/mercurial/url.py", 
line 282, in getresponse
     return keepalive.HTTPConnection.getresponse(self)
   File 
"/usr/local/ldist/DIR/mercurial-1.4.3/lib64/python2.7/site-packages/mercurial/keepalive.py", 
line 562, in safegetresponse
     return cls.getresponse(self)
   File "/usr/lib64/python2.7/httplib.py", line 1030, in getresponse
     response.begin()
   File "/usr/lib64/python2.7/httplib.py", line 407, in begin
     version, status, reason = self._read_status()
   File "/usr/lib64/python2.7/httplib.py", line 365, in _read_status
     line = self.fp.readline()
   File "/usr/lib64/python2.7/socket.py", line 430, in readline
     data = recv(1)