Sun May 7 05:35:21 PDT 2000 — This morning at about 5:00am, our main web server, Thunder, detected a problem with its operating system and rebooted. Unfortunately, the web server program did not start after the reboot. Our paging system detected this, woke us up, and we fixed it. Downtime was approximately 15 minutes. We are investigating ways to assure that the web server program starts properly after a reboot. -Scott