Pilot (our web/shell/mail server) will be rebooted today
at 10:00am. If you have any long-running jobs (screen, IRC,
etc), you might want to log in and shut them down gracefully.
We expect to be down for less than 10 minutes.
Alan