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