Due to a PHP configuration error there was around one hour of downtime on server 19. We apologize for the inconvenience caused by this error. We will work hard to prevent similar problems in the future.