[open] Onderhoud Shell Server
gemeld door Arjan op 2-07-2015, 16:01
begindatum: 16-07-2015
begintijd: 16:00, duur:
Vandaag om 16:00 is de shell server vervangen.
Klanten die gebruik maken van deze dienst kunnen een melding krijgen
van hun SSH-client dat het IP adres van de server is gewijzigd.
Bestaande sessies en actieve processen worden niet overgenomen naar de
nieuwe omgeving.