summaryrefslogtreecommitdiff
path: root/src/monkeysphere
diff options
context:
space:
mode:
authorDaniel Kahn Gillmor <dkg@fifthhorseman.net>2010-03-14 00:36:57 -0500
committerDaniel Kahn Gillmor <dkg@fifthhorseman.net>2010-03-14 00:36:57 -0500
commit8ab97c9c35f502005c23eb7adb3a8a0177f11630 (patch)
treef5e55ab7c76442f205cbbbf97684da729c8f5e44 /src/monkeysphere
parente8fb019cc59ec878e7c1636d798216d18b9e7863 (diff)
keys-for-userid now respects MONKEYSPHERE_CHECK_KEYSERVER (Closes: MS #1997); finesse description of CHECK_KEYSERVER in monkeysphere.conf (see: MS #2014)
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 "$@"
;;