[isabelle-dev] status (AFP)

[Makarius]

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.


 	Makarius