projects
/
monkeysphere.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Merge branch 'master' into no-cache
[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