Or, “Which PDU do I login to in order to reboot machine XXXX??”
csopt1.wpi.edu, csopt2.wpi.edu, cs.wpi.edu, csopt4.wpi.edu, snoopy, csmail.wpi.edu, tank1.cs.wpi.edu
Almost unused: t1k1.cs.wpi.edu. Used to have many ACM machines hooked up, but no more.
tower.cs.wpi.edu, fossil.wpi.edu, t1k2.cs.wpi.edu, csutil1.cs.wpi.edu, alpheus/IMGDWEB server, rous, and rous' two DLT tape drives.
(end of list)