diff options
| author | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2010-03-14 17:42:07 -0400 |
|---|---|---|
| committer | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2010-03-14 17:42:07 -0400 |
| commit | 117605f3a266c41593cade3f6344d108a772096d (patch) | |
| tree | d20cffeea93dd5ef06a870e4aed8818deb89b77a /src | |
| parent | 3d46f5954da2bc9a2dd8d2ce35713136149c2983 (diff) | |
fix CHECK_KEYSERVER for deprecated keys-from-userid as well
Diffstat (limited to 'src')
| -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 "$@" ;; |