Brief outage on web07 server Feb 7 2018 (resolved)

Between 04:23 AM Pacific time (February 7 2018) and 04:33 AM Pacific time (February 7 2018), websites on our “web07” server were inaccessible while we restarted the server due to an unexpected kernel software issue.

All services are now running normally, and we are investigating the initial cause of the problem. We apologize for the inconvenience this caused.