Dear Autonians, Just a quick heads up. bash.autonlab.org (my desktop) just crashed again. I have no idea what happened nor I care too much about it. There are other three shell gateways. lop2.autonlab.org lop1.autonlab.org lion.auton.cs.cmu.edu Best, Predrag