WHAT HAPPENED?
  Some servers in TSRB were down.
  WHEN DID IT HAPPEN?
  Between approximately 8:40 PM, Friday, September 28, and 1:00 PM, Monday, October 1, 2012.
  WHY DID IT HAPPEN?
  Following the network outage in TSRB (see http://support.cc.gatech.edu/alerts/tsrb-network-outage for further details) some systems did not come back up cleanly.
  WHO WAS AFFECTED?
  Anyone attempting to access the affected systems listed below.
  Affected systems:
  beluga.cc.gatech.edu
  desoto.cc.gatech.edu
  dilab.cc.gatech.edu
  gvu1.cc.gatech.edu
  heisenberg.cc.gatech.edu
  himalaya.cc.gatech.edu
  monatabu.cc.gatech.edu
  nellis.cc.gatech.edu
  spam.cc.gatech.edu
  WHAT DO YOU NEED TO DO?
  No user action is required.
  HAS THE PROBLEM BEEN RESOLVED?
  Yes.  The servers were all returned to normal functionality by 1:00 PM, October 1.
  WHO SHOULD YOU CONTACT FOR QUESTIONS?
  If you have questions, please contact the TSO Help Desk (CCB 148, 404-894-7065, helpdesk@cc.gatech.edu).
Owner of Alert
                  TSO