On Fri, 25 May 2012, Makarius wrote:
I am able to see isatest/mira processes on lxbroy10 where certain perl
processes "hang", i.e. cannot be killed via SIGHUP as expected (but
SIGTERM works).
I think I've done too much killall here, so mira appears to be dead. What
needs to be done to restart it? Where is this controlled anyway?
Right now we also have problems with the isatest cron jobs (macbroy28),
which work when started manually, but don't come up automatically as
expected.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
