actually…

On reboot the server died for the first time in about a year, so it'll be another hour or so before someone can reboot it by hand.

Advertisements