From 117605f3a266c41593cade3f6344d108a772096d Mon Sep 17 00:00:00 2001
From: Daniel Kahn Gillmor <dkg@fifthhorseman.net>
Date: Sun, 14 Mar 2010 17:42:07 -0400
Subject: [PATCH] fix CHECK_KEYSERVER for deprecated keys-from-userid as well
---
src/monkeysphere | 1 +
1 file changed, 1 insertion(+)
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 "$@"
;;
--
2.34.1