+ RUNNING_AGENT="$(get_agent_pid)"
+
+ # Has the socket gone away?
+ if [ ! -z "$RUNNING_AGENT" -a ! -S "$SOCKET" ]; then
+ if kill $RUNNING_AGENT; then
+ RUNNING_AGENT="$(get_agent_pid)"
+ else
+ echo >&2 "$SOCKET has gone away but agent is running as PID $RUNNING_AGENT."
+ fi
+ fi
+