Jupyterhub herstart

Sommige mensen konden niet meer inloggen, de server was niet stabiel meer, waardoor deze gereboot moest worden. Helaas is daarbij vergeten dat de jupyterhub service nog handmatig gestart moest worden, waardoor de overlast ruim een uur heeft geduurd in plaats van een paar minuten. Inmiddels loopt alles weer. We werken aan een oplossing voor dit reboot probleem.