summaryrefslogtreecommitdiff
path: root/src/common
diff options
context:
space:
mode:
authorDaniel Kahn Gillmor <dkg@fifthhorseman.net>2008-06-23 19:02:58 -0400
committerDaniel Kahn Gillmor <dkg@fifthhorseman.net>2008-06-23 19:02:58 -0400
commit438d1fa8881a1f8359b5e91932bf42addefbffca (patch)
tree98b950edf82c9080bbc964b7c777e13befba3a7d /src/common
parent1accfecc11da106d6626dc620ee5182d5a66f4f5 (diff)
switched shortcut for monkeysphere-server update-users to "u", added some FIXMEs to monkeysphere-server.
Diffstat (limited to 'src/common')
-rw-r--r--src/common4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/common b/src/common
index 9dcc5e8..9fd156b 100644
--- a/src/common
+++ b/src/common
@@ -109,7 +109,7 @@ translate_ssh_variables() {
echo "$path"
}
-### CONVERTION UTILITIES
+### CONVERSION UTILITIES
# output the ssh key for a given key ID
gpg2ssh() {
@@ -263,7 +263,7 @@ process_user_id() {
fi
requiredPubCapability=$(echo "$requiredCapability" | tr "[:lower:]" "[:upper:]")
- # if CHECK_KEYSERVER variable set, check the keyserver
+ # if CHECK_KEYSERVER variable set to true, check the keyserver
# for the user ID
if [ "$CHECK_KEYSERVER" = "true" ] ; then
gpg_fetch_userid "$userID"