ReleaseEngineering/How To/Ping a bunch of slaves

This is something Ben threw together after a network snafu

wget http://cruncher.build.mozilla.org/~bhearsum/cgi-bin/missing-slaves.py
for i in `cat missing-slaves.py` ; do ping -c 1 $i &> /dev/null; if [ $? -ne 0 ] ; then echo $i ; fi ; done