Vanwege een probleem met het werkgeheugen van web0118 zal deze server vrijdag middag om 15: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!
