Vi har registreret et problem med MariaDB på server16.chosting.dk. Processen var crashet. Problemet er løst klokken 14:15. Drift er nu igen normal.