Het probleem is opgelost. De database-server liep tegen een bug van MariaDB aan, waarodor de database-server automatisch opnieuw startte. Daardoor reageerde de database-server even niet. Excuses als je hiervan hinder hebt ervaren en bedankt voor je begrip! We zijn deze bug verder aan het onderzoeken om herhaling voor de toekomst te voorkomen.

---

3 november 2026, 11:16

Van toepassing op: s174

---

We onderzoeken een door ons monitoringsysteem gerapporteerd probleem. Het oplossen hiervan heeft onze hoogste prioriteit. Je krijgt dan ook zo snel mogelijk meer informatie. Binnen uiterlijk 30 minuten zullen wij een update geven.

---

3 november 2026, 11:05