Brief Apache problem on web13 server (resolved)
At approximately 2:45 PM Pacific time February 6, 2014, the Apache Web server running on the web13 server hung and needed to be manually restarted. We fixed the problem at 2:56 PM.
Obviously this sort of problem should not happen. We are monitoring it closely, and investigating it in more detail to try to find the root cause, so that we can take corrective action as necessary to prevent it from happening again. We apologize for the inconvenience caused by this problem.