From: Daniel Kahn Gillmor <dkg@fifthhorseman.net>
Date: Sun, 14 Mar 2010 21:42:07 +0000 (-0400)
Subject: fix CHECK_KEYSERVER for deprecated keys-from-userid as well
X-Git-Tag: monkeysphere_0.29~10
X-Git-Url: https://codewiz.org/gitweb?a=commitdiff_plain;h=117605f3a266c41593cade3f6344d108a772096d;p=monkeysphere.git

fix CHECK_KEYSERVER for deprecated keys-from-userid as well
---

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 "$@"
 	;;