[isabelle-dev] Problems with server room cooling at TUM

[Fabian Huch]

On 8/19/24 11:35, Makarius wrote:
> On 08/08/2024 15:38, Makarius wrote:
>> On 03/08/2024 14:17, Makarius wrote:
>>> TUM has problems with cooling of server rooms for a couple of days, 
>>> although I am not close enough to know the details. Several servers 
>>> have been shutdown down to reduce heat production.
>>
>> I hear that there are plans to be back to normal on 14-Aug-2024, 
>> afternoon. Further note that 15-Aug-2024 is a local holiday.
>
> We seem to be mostly back to normal, but I now see 2 problems on our 
> side (Isabelle/dff10bb4ebdb and AFP/a7ca8592cbc7).
>
>
> (1) Failure of "isabelle build_task -a":
>
> Transferring repositories ...
> *** The column name user was not found in this ResultSet.

This was an artifact of the schema update in Isabelle/b4e116523cb6, 
which I did now that the db is reachable again.

For the record: The steps to update the schema are:

1. log in to se1.proof.cit.tum.de

2. interrupt the Isabelle build manager process (it will wait for 
remaining builds to terminate), or wait until no builds are running

3. stop the manager with 'systemctl stop build-manager'

4. switch to the 'build' user

5. update isabelle/afp repositories in user home

6. update database schema via 'isabelle build_manager_database -A:'

7. switch to your user and re-start the system with 'systemctl start 
build-manager'


Fabian