Wartungsarbeiten Terminalserver
In der Nacht von Samstag (30.05. 22 Uhr) auf Sonntag(31.05.) werden die beiden Terminalserver faui0sr0 und faui06 rebootet und umbenannt. Sie sind dann weiterhin als faui0sr0.cs.fau.de und faui06.cs.fau.de, aber ebenfalls als cipterm0.cip.cs.fau.de und cipterm1.cip.cs.fau.de erreichbar.
-- Michael Gebhard