We are aware that there are issues affecting this server. We are working to get them resolved.
-
Update @ Wed Oct 18 14:34:45 BST 2017: The server became unresponsive and is being rebooted to restore service.
-
Update @ Wed Oct 18 15:00:08 BST 2017: The server is currently running a disk quotas check and will be available shortly.
-
Update @ Wed Oct 18 15:11:35 BST 2017: The server is online and available for use.