Web Restart 7:00pm CST

Dear All,

I'm planning to restart the web server around 10:00 pm CST. I'll send
email out to the list 10 minutes before I commence the restart and once
the restart is done.

Thanks for your patience.

-- John Criswell