On Tuesday, May 13, 2008, at 5:00 PM, we will be restarting one of our web servers to clear hung httpd processes. This is the web server that serves static web pages for www.cc.gatech.edu (mostly the ~ pages). While the server is rebooting, these pages will be briefly unavailable.