Vanwege een probleem met het werkgeheugen van web0137 zal deze server 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:
Het defecte werkgeheugen is succesvol vervangen, en de server is terug online
