Helaas is vanavond de shellserver van cluster 4 ongeveer 10 minuten onbereikbaar geweest. Inmiddels is de machine na een reboot weer bereikbaar. De oorzaak is onbekend.