Lines Matching refs:pid
300 pid=`$SUDO cat $PIDFILE`301 if [ "X$pid" = "X" ]; then304 if [ $pid -lt 2 ]; then305 echo bad pid for sshd: $pid307 $SUDO kill $pid315 if $SUDO kill -0 $pid; then317 "port $PORT pid $pid"339 echo bad pid for ssh: $SSH_PID