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