Web Server Restart

Dear All,

I will be restarting the web server at 4:00 pm Central Daylight time to
add a new virtual host to the server's configuration
(dpj.cs.illinois.edu for those that are curious). I will email the list
when the restart is complete.

Please refrain from SVN commits starting at 4:00 pm CDT.

Thanks.

-- John T.