Vanwege een probleem met het werkgeheugen van web0133 zal deze server maandag ochtend om 09:15 kortstondig uitgeschakeld moeten worden, om het probleem hardwarematig te corrigeren. De verwachtte downtime die hierbij komt kijken is 30 minuten. Excuses voor het ongemak!
Update
We hebben een memory module vervangen en alles getest zonder verdere problemen, alles werkt weer netjes naar behoren!
