Stream: Mirror: Isabelle Development Mailing List

Topic: build.proof.cit.tum.de: Connection closed / Internal serv...

Email Gateway (Jan 07 2025 at 09:42):

From: Fabian Huch <huch@in.tum.de>
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

Email Gateway (Jan 07 2025 at 11:54):

From: Fabian Huch <huch@in.tum.de>
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

Last updated: Feb 01 2025 at 20:19 UTC