The server is now back online. I managed to complete the update without having to release a patch so there is nothing to download.