build.proof.cit.tum.de: Connection closed / Internal server error

Fabian Huch huch at in.tum.de
Tue Jan 7 12:53:41 CET 2025


We are back online. There seemed to be an even deeper root cause as the 
server RMU was unresponsive.


Fabian


On 1/7/25 10:41, Fabian Huch wrote:
> The build manager raises an internal server error when accessing any 
> particular build log, and I cannot SSH onto the system (SSH closes the 
> connection without sending a reply package); I have asked our 
> administration about this.
>
> My speculation is that (parts of) the file system is unavailable: This 
> explains why accessing logs doesn't work (logs are stored on disk, not 
> in db), and why SSH breaks like this (the user's authorized_hosts 
> would be missing).
>
>
> Fabian
>


More information about the isabelle-dev mailing list