Merge pull request #1584 from nwinkler/sshagent-remove-echo

Remove echo when a dead SSH Agent PID is found
pull/1586/head
Nils Winkler 2020-05-02 14:47:21 +02:00 committed by GitHub
commit bc0e47aec1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 2 deletions

View File

@ -94,7 +94,6 @@ function _ensure_valid_sshagent_env() {
return return
fi fi
echo "There's a dead ssh-agent at the landing..."
ssh-agent > "${SSH_AGENT_ENV}" ssh-agent > "${SSH_AGENT_ENV}"
return return
} }