[isabelle-dev] Reasons mira crashes

[Lars Noschinski]

On 29.01.2013 17:46, Lars Noschinski wrote:
> 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.

Happened again today (killed it after 6 hours)

   -- Lars