Disruption of the jupyterhub ESDL this morning (July 11th 2019)

Dear all,

due to some major issues we had to reinstall docker this morning. This made shutting down your servers neccessary. Hopefully, the shutdown did not disrupt your work in a harmful manner and you will be able to continue your work without interruptions.

Best regards,