diff options
Diffstat (limited to 'src')
-rwxr-xr-x | src/monkeysphere | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/monkeysphere b/src/monkeysphere index 7c92852..a763151 100755 --- a/src/monkeysphere +++ b/src/monkeysphere @@ -276,6 +276,7 @@ case $COMMAND in ;; 'keys-for-userid'|'u') + CHECK_KEYSERVER=${MONKEYSPHERE_CHECK_KEYSERVER:=${CHECK_KEYSERVER:="true"}} keys_for_userid "$@" ;; |