summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorDaniel Kahn Gillmor <dkg@fifthhorseman.net>2010-03-14 17:42:07 -0400
committerDaniel Kahn Gillmor <dkg@fifthhorseman.net>2010-03-14 17:42:07 -0400
commit117605f3a266c41593cade3f6344d108a772096d (patch)
treed20cffeea93dd5ef06a870e4aed8818deb89b77a /src
parent3d46f5954da2bc9a2dd8d2ce35713136149c2983 (diff)
fix CHECK_KEYSERVER for deprecated keys-from-userid as well
Diffstat (limited to 'src')
-rwxr-xr-xsrc/monkeysphere1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/monkeysphere b/src/monkeysphere
index a763151..454da01 100755
--- a/src/monkeysphere
+++ b/src/monkeysphere
@@ -282,6 +282,7 @@ case $COMMAND in
'keys-from-userid')
echo "Warning: 'keys-from-userid' is deprecated. Please use 'keys-for-userid' instead." >&2
+ CHECK_KEYSERVER=${MONKEYSPHERE_CHECK_KEYSERVER:=${CHECK_KEYSERVER:="true"}}
keys_for_userid "$@"
;;