[isabelle-dev] Isabelle2012 post-release mode

[Makarius]

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