+ if test ! -S $tripesock; then
+ echo " not running"
+ elif $tripectl quit >/dev/null 2>&1; then
+ echo " done"
+ elif test ! -f $pidfile; then
+ echo " stale socket found: removing"
+ rm -f $tripesock
+ elif kill `cat $pidfile`; then
+ echo " done (killed violently)"
+ else
+ echo " it doesn't want do die!"
+ exit 1
+ fi