Merge commit 'jrollins/master'

[monkeysphere.git] / src / monkeysphere-ssh-proxycommand

diff --git a/src/monkeysphere-ssh-proxycommand b/src/monkeysphere-ssh-proxycommand
index 3887e4897d10eca20c7234761ae3e1451238c68c..4b90a0d21fe5e884335a43e277c96473d760c45c 100755 (executable)
--- 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