From 10:25 AM CDT this morning to 10:41 AM CDT this morning, the web server  smile had troubles apparently caused by a bug in either the operating system or the web server. The problem was detected and corrected by automated scripts. Service was restored by 10:41 AM CDT.