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

[Fabian Huch]

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