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