Web55 is inaccessible. Ping is OK, but SSH and all web requests time out. The machine is being rebooted.

Edit: The reboot succeeded without complications, and the server is now up.