diff options
author | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2009-02-19 04:00:48 -0500 |
---|---|---|
committer | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2009-02-19 04:00:48 -0500 |
commit | 6476671df265a673b678ee692d5010202bc519d6 (patch) | |
tree | f37200c4dfdad0c1a2becaa1044827f7248194a5 /src/share/m | |
parent | b5555eed1dbd5cfd8ea713cfee33ce8ddcf9238f (diff) | |
parent | b38d4458903d43bd59d6dfa04c8338ef12fd9a4c (diff) |
Merge commit 'jrollins/master'
Diffstat (limited to 'src/share/m')
-rw-r--r-- | src/share/m/ssh_proxycommand | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/share/m/ssh_proxycommand b/src/share/m/ssh_proxycommand index 29040d8..d7e801e 100644 --- a/src/share/m/ssh_proxycommand +++ b/src/share/m/ssh_proxycommand @@ -200,7 +200,6 @@ fi CHECK_KEYSERVER=${MONKEYSPHERE_CHECK_KEYSERVER:=$CHECK_KEYSERVER} # update the known_hosts file for the host -source "${MSHAREDIR}/update_known_hosts" update_known_hosts "$HOSTP" # output on depending on the return of the update-known_hosts |