Wartungsarbeiten: Server gwdu099 und gwdu100

Meldungsnummer: 201902281230
Zeitraum: 07.03.2019, 17 bis 19 Uhr
Betroffen: Nutzer von Galaxy, R-Studio-Server, MASCOT
Auswirkungen: Nichtverfügbarkeit der erwähnten Dienste

Nächsten Donnerstag (07.03.2019) werden aufgrund von Wartungsarbeiten die Server gwdu099 und gwdu100 in der Zeit von 17-19 Uhr zumindest für einige Minuten nicht verfügbar sein. Da währenddessen auch ein Reboot der Systeme stattfindet, werden dabei alle laufenden Jobs automatisch beendet.
Dieser Ausfall betrifft auch folgende Dienste: Galaxy (galaxy.gwdg.de), R-Studio-Server (rstudio.gwdg.de) und MASCOT. Bitte achten Sie darauf, dass Ihre Berechnungen vorher rechtzeitig zum Ende gekommen sind.
Für etwaige Unannehmlichkeiten bitten wir um Entschuldigung.