Reminder to all users of the Linux workstations: the server will be down for updating on Thursday August 18th at 3:00 pm. Don't forget to save your data. A message will be sent when it is operational again. -- Josh Abraham Crew Linux Admin