[isabelle-dev] status (AFP)
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, which seem to be relatively new server class machines.
See also Isabelle/68a32e12b999 and before.
More information about the isabelle-dev