Wartungsarbeiten: Server gwdu099 und gwdu100

[sc name=“head_betriebsmeldungen_de“ 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.