Thanks to some heroics from Andrew Bogott, the server is back up now and everything should be functioning normally. Let me know if any tools need restarting.