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.25.1