In verband met inlog problemen op de shell server van cluster 4 hebben wij deze vanochtend moeten rebooten. Inloggen op de shell is weer mogelijk, en eventuele cron jobs die in deze periode hadden moeten draaien zijn ook weer opgestart. De shell server is tussen 09:45 en 09:50 niet beschikbaar geweest.