web12 server restarted (resolved)

At 11:00 PM Pacific time October 26 2012, our “web12” server experienced a “kernel panic” and needed to be restarted. This led to an 8 minute outage of Web sites and e-mail hosted on that server.

All services are now working normally, and other servers were not affected.

We apologize for the trouble this caused customers on the web12 server. We take reliability seriously, and we’re investigating the underlying cause to avoid a recurrence of this problem.