[isabelle-dev] Isabelle2012 post-release mode
makarius at sketis.net
Fri May 25 15:23:20 CEST 2012
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
More information about the isabelle-dev