Brief service interruption on web11 server (resolved)

The “web11” server became very slow and needed to be restarted at approximately 2:00 a.m. Pacific time this morning (June 25). This caused a brief outage for Web sites on that server. Other servers were not affected.