Am Sa. 04.07.2020 werden wir Wartungsarbeiten an den Servern für die Homeverzichnisse durchführen. Die Arbeiten starten um 14:00 und sollten bis 15:00 abgeschlossen sein. In diesem Zeitraum kann der Zugriff auf die Homes und big jederzeit ausfallen. Dies wird auch zu Problemen mit noch laufenden SLURM Jobs führen.