Searched refs:SSH_PID (Results 1 – 2 of 2) sorted by relevance
490 if [ "x$SSH_PID" != "x" ]; then491 if [ $SSH_PID -lt 2 ]; then492 echo bad pid for ssh: $SSH_PID494 kill $SSH_PID
35 SSH_PID=$!