X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=src%2Fmonkeysphere;h=8e6e81a5aeb85f887be2a304885979da3d1923cf;hb=01012ce201590e939a82fcc2aeda88fc6a34ad57;hp=a763151fbdcda814dce35dfdb81982727c710207;hpb=8ab97c9c35f502005c23eb7adb3a8a0177f11630;p=monkeysphere.git

diff --git a/src/monkeysphere b/src/monkeysphere
index a763151..8e6e81a 100755
--- a/src/monkeysphere
+++ b/src/monkeysphere
@@ -68,7 +68,7 @@ gpg_user() {
 # output the ssh fingerprint of a gpg key
 gpg_ssh_fingerprint() {
     keyid="$1"
-    local tmpfile=$(mktemp)
+    local tmpfile=$(msmktempfile)
 
     # trap to remove tmp file if break
     trap "rm -f $tmpfile" EXIT
@@ -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 "$@"
 	;;