web10 server restarted (resolved)

At 9:45 PM Pacific time November 15 2012, our “web10” server became unstable and we eventually decided to restart it to resolve the problem. This caused a period of about 20 minutes where the server was intermittently not working reliably, then a four minute outage while it restarted.

This problem affected all Web sites and e-mail hosted on the web10 server, but other servers were not affected. All services are now working normally.

We apologize for the problem, and are investigating the cause.