diff options
| author | Jameson Graef Rollins <jrollins@phys.columbia.edu> | 2008-06-19 15:22:46 -0400 |
|---|---|---|
| committer | Jameson Graef Rollins <jrollins@phys.columbia.edu> | 2008-06-19 15:22:46 -0400 |
| commit | 15637a9ab9b4fe7ea537988f5cc145d35948d783 (patch) | |
| tree | ca9f9359070d2fc6c9c5bc22d1b8f0f9b70cf564 /src/monkeysphere-ssh-proxycommand | |
| parent | f95798d4fd83cb227b69c136b16b592d997303c6 (diff) | |
Added server config variable to specify user authorized_user_ids file,
and changed default.
Diffstat (limited to 'src/monkeysphere-ssh-proxycommand')
| -rwxr-xr-x | src/monkeysphere-ssh-proxycommand | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/monkeysphere-ssh-proxycommand b/src/monkeysphere-ssh-proxycommand index 4cbcd51..f4d4b0d 100755 --- a/src/monkeysphere-ssh-proxycommand +++ b/src/monkeysphere-ssh-proxycommand @@ -49,7 +49,7 @@ if [ "$PORT" != '22' ] ; then fi # if the host is in the gpg keyring... -if gpg --list-key ="${URI}" >/dev/null ; then +if gpg --list-key ="${URI}" 2>&1 >/dev/null ; then # do not check the keyserver CHECK_KEYSERVER="false" # if the host is NOT in the keyring... |