diff options
author | Jameson Graef Rollins <jrollins@phys.columbia.edu> | 2008-06-16 14:07:33 -0400 |
---|---|---|
committer | Jameson Graef Rollins <jrollins@phys.columbia.edu> | 2008-06-16 14:19:14 -0400 |
commit | b6983d7cb86f450ebd7fafcb254011fd7099c246 (patch) | |
tree | e7e58f81b5ebab34f3bc66070a754feaf2c2ed9a /src/monkeysphere | |
parent | 785736d891f6c61eb5d7f4f10687ef9a0d920c3b (diff) |
Allow for specification of whether to check keyserver.
Update proxy command to check keyserver if host not found in known_hosts.
Diffstat (limited to 'src/monkeysphere')
-rwxr-xr-x | src/monkeysphere | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/monkeysphere b/src/monkeysphere index 23ebd63..79bc352 100755 --- a/src/monkeysphere +++ b/src/monkeysphere @@ -157,7 +157,7 @@ case $COMMAND in failure "known_hosts file '$USER_KNOWN_HOSTS' is empty." fi log "processing known_hosts file..." - process_known_hosts "$USER_KNOWN_HOSTS" "$hostKeysCacheDir" + process_known_hosts "$hostKeysCacheDir" fi ;; |