diff options
author | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2010-03-14 00:36:57 -0500 |
---|---|---|
committer | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2010-03-14 00:36:57 -0500 |
commit | 8ab97c9c35f502005c23eb7adb3a8a0177f11630 (patch) | |
tree | f5e55ab7c76442f205cbbbf97684da729c8f5e44 /src | |
parent | e8fb019cc59ec878e7c1636d798216d18b9e7863 (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')
-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 "$@" ;; |