Searched refs:SSH_PID (Results 1 – 2 of 2) sorted by relevance
310 if [ "x$SSH_PID" != "x" ]; then311 if [ $SSH_PID -lt 2 ]; then312 echo bad pid for ssh: $SSH_PID314 kill $SSH_PID
29 SSH_PID=$!