shell.autonlab.org hardware problems

Fri Sep 4 01:44:42 EDT 2015

I was in the middle of doing something when I noticed that
shell.autonlab.org went away. Based on the age of the hardware in
question my guess is that shell.autonlab.org died. 

Please use the other three shell gateways to the lab with the following
RSA key fingerprints

bash.autonlab.org 83:8d:e0:4d:dd:d2:ab:01:74:10:a4:0d:f5:9d:51:9d
lop1.autonlab.org 02:8d:c9:20:fa:d4:b9:5d:d3:dc:84:ed:74:a5:c9:67
lop2.autonlab.org (port 2222) 56:a6:0c:dc:ce:c3:9f:32:87:71:cb:b8:63:50:04:db