diff options
Diffstat (limited to 'src/share')
| -rw-r--r-- | src/share/m/ssh_proxycommand | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/share/m/ssh_proxycommand b/src/share/m/ssh_proxycommand index abe068d..7ab4bec 100644 --- a/src/share/m/ssh_proxycommand +++ b/src/share/m/ssh_proxycommand @@ -18,9 +18,9 @@ # "marginal case" ouput in the case that there is not a full # validation path to the host output_no_valid_key() { - local returnCode=0 - local sshKeyOffered local userID + local sshKeyOffered + local gpgOut local type local validity local keyid @@ -30,9 +30,12 @@ output_no_valid_key() { local tmpkey local sshFingerprint local gpgSigOut + local returnCode=0 userID="ssh://${HOSTP}" + LOG_PREFIX= + cat <<EOF | log info -------------------- Monkeysphere warning ------------------- Monkeysphere found OpenPGP keys for this hostname, but none had full validity. |