Searched refs:SSH_PID (Results 1 – 2 of 2) sorted by relevance
323 if [ "x$SSH_PID" != "x" ]; then324 if [ $SSH_PID -lt 2 ]; then325 echo bad pid for ssh: $SSH_PID327 kill $SSH_PID
36 SSH_PID=$!