diff options
| author | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2008-06-17 14:52:31 -0400 |
|---|---|---|
| committer | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2008-06-17 14:52:31 -0400 |
| commit | 9c94e937fbe8beb56956365cac07d6eff45215cd (patch) | |
| tree | 11d9060e75580752bd79adb353e0d706c513a830 /src/monkeysphere-ssh-proxycommand | |
| parent | 92c70306aa5f96c8dfa69f2c90dca58908e719f7 (diff) | |
| parent | ac63e6d6a916e4b51a183e60d7aeae3c2568f3af (diff) | |
Merge commit 'jrollins/master'
Diffstat (limited to 'src/monkeysphere-ssh-proxycommand')
| -rwxr-xr-x | src/monkeysphere-ssh-proxycommand | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/monkeysphere-ssh-proxycommand b/src/monkeysphere-ssh-proxycommand index 3887e48..4b90a0d 100755 --- a/src/monkeysphere-ssh-proxycommand +++ b/src/monkeysphere-ssh-proxycommand @@ -44,6 +44,8 @@ hostKey=$(ssh-keygen -F "$HOST") # don't check the keyserver if [ "$hostKey" ] ; then CHECK_KEYSERVER="false" +else + CHECK_KEYSERVER="true" fi export CHECK_KEYSERVER |