Vanwege een probleem met het werkgeheugen van web0102 zal deze server woensdag middag om 16:30 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!