[isabelle-dev] Reasons mira crashes

[Lars Noschinski]

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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: repository-corruption.log
Type: text/x-log
Size: 2954 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20121128/e923d0f6/attachment.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: repository-corruption-2.log
Type: text/x-log
Size: 3011 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20121128/e923d0f6/attachment-0001.bin>