diff options
| -rwxr-xr-x | src/monkeysphere | 1 |
1 files changed, 1 insertions, 0 deletions
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 "$@" ;; |