Update: ccil.cc.gatech.edu was brought back online at 9:30 AM on March 12, 2008.

The server ccil.cc.gatech.edu was noted as being down at 1:37 PM on March 11, 2008. We are looking into the cause at this time. Additional information will be posted when it becomes available.