13:42 2019-02-04: The server is up and running again.
We have one Xenserver that has rebooted unexpectedly. Update follows.