fix CHECK_KEYSERVER for deprecated keys-from-userid as well

diff --git a/src/monkeysphere b/src/monkeysphere
index a763151fbdcda814dce35dfdb81982727c710207..454da019c4db54ad39667a3babf142222f19dc1e 100755 (executable)
--- 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 "$@"
        ;;