[isabelle-dev] status (AFP)

Makarius makarius at sketis.net
Wed Jun 27 17:47:47 CEST 2012

On Wed, 27 Jun 2012, Gerwin Klein wrote:

> On 27/06/2012, at 12:06 AM, Makarius wrote:
>> On Mon, 25 Jun 2012, Makarius wrote:
>>> We have a new record in unavailability.
>>> Where is the isatest crontab now?  macbroy28 is still unavailable as we knew already several weeks ago.
>>> In any case Admin/isatest should reflect the current state, both for the Isabelle and AFP crontab.
>> In the meantime I have started some attempts to reactivate isatest, see Isabelle/a29f3f44e198.
> Sorry my fault, this totally went under. Thanks for reactivating it.

At the moment it is sufficiently active to produce again some NFS 
dropouts.  I have moved further jobs away from macbroy2[0-9] to 
lxbroy[234], which seem to be relatively new server class machines.

See also Isabelle/68a32e12b999 and before.


More information about the isabelle-dev mailing list