fix CHECK_KEYSERVER for deprecated keys-from-userid as well

[monkeysphere.git] / src / monkeysphere

diff --git a/src/monkeysphere b/src/monkeysphere
index 7c928521e058c1c67824c9c98a674866d287e589..454da019c4db54ad39667a3babf142222f19dc1e 100755 (executable)
--- a/src/monkeysphere
+++ b/src/monkeysphere
@@ -276,11 +276,13 @@ case $COMMAND in
        ;;
 
     'keys-for-userid'|'u')
+       CHECK_KEYSERVER=${MONKEYSPHERE_CHECK_KEYSERVER:=${CHECK_KEYSERVER:="true"}}
        keys_for_userid "$@"
        ;;
 
     '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 "$@"
        ;;