Resolved -
This incident has now been resolved.
Oct 7, 12:35 BST
Monitoring -
One of our servers was rebooted without warning at 0938 this morning, and services did not restart as normal. We have manually restarted services on this server, and it is currently processing through a backlog of data.
Maps may be showing incorrect information for the next hour.
Oct 7, 10:43 BST