[isabelle-dev] Reasons mira crashes
krauss at in.tum.de
Thu Nov 29 08:35:57 CET 2012
On 11/28/2012 10:11 AM, Lars Noschinski wrote:
> 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.
It should do that indeed. It is hard to distinguish network errors etc.
from other errors, but retrying a few times makes sense anyway.
> For future changes it might be worth to keep in mind that the Mercurial
> project considers the python interface as internal:
Right. This classification has somehow changed over the years. Back in
2008, use of the API was encouraged more. Switching to a CLI interface
requires a bit of work, though.
More information about the isabelle-dev