summaryrefslogtreecommitdiff
path: root/src/monkeysphere
diff options
context:
space:
mode:
Diffstat (limited to 'src/monkeysphere')
-rwxr-xr-xsrc/monkeysphere1
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 "$@"
;;