The machine that we use to serve up many of our web sites got into a strange state sometime early this morning. It was responding to pings, but nothing else. We had to reboot it in a most extreme way. The power button would not work, for some reason, so we had to pull the plug. Looking at the web traffic stats shows it was down from around 5:00am (UTC-4) to just after 11:00am.