Anybody any ideas what went wrong!?
Florian
--
PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
signature.asc
Description: OpenPGP digital signature
___
isabelle-dev mailing
If I run sessions manually, they work fine, but they fail in the cron job with
timeout (even small ones like Separation_Algebra).
This has been going on for a while. Does anyone have an idea what's going on?
Is there something else running on macbroy2 at the same time that takes a lot
of
On 08/11/2012, at 8:26 AM, Florian Haftmann
florian.haftm...@informatik.tu-muenchen.de wrote:
Am 07.11.2012 22:22, schrieb Gerwin Klein:
If I run sessions manually, they work fine, but they fail in the cron job
with timeout (even small ones like Separation_Algebra).
In the case of
On 11/07/2012 10:41 PM, Gerwin Klein wrote:
On 08/11/2012, at 8:26 AM, Florian
Haftmannflorian.haftm...@informatik.tu-muenchen.de wrote:
Am 07.11.2012 22:22, schrieb Gerwin Klein:
If I run sessions manually, they work fine, but they fail in the cron job with
timeout (even small ones like
On 08/11/2012, at 8:50 AM, Lukas Bulwahn bulw...@in.tum.de wrote:
On 11/07/2012 10:41 PM, Gerwin Klein wrote:
I can see no reason why any of these would have to time out, and they don't
on other machines (I've only tried some, though, not all).
Could it be an artefact of time measurement