Thu Jun 5 11:27:34 PDT 2003 — Shell server bugfix. We corrected a minor configuration issue that was preventing /tmp on the shell server from getting cleaned on a regular basis. Files left in /tmp will now be removed after 7 days from their last modification time. -Kelsey and Nathan