socsvn - Revision 337283: /soc2015/stefano/ptnetmap/stable/10/sbin/hastctl