summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorJameson Graef Rollins <jrollins@phys.columbia.edu>2008-09-02 16:39:47 -0700
committerJameson Graef Rollins <jrollins@phys.columbia.edu>2008-09-02 16:39:47 -0700
commit7dab6df00804017844dab244f11e72cc73199fd8 (patch)
treef5727d34d35179012b00cb8156a171191f737173 /src
parentaefec8e2f77cf0bba2ea971607c1882925a197e2 (diff)
parent4dfcb19ae2fed99d83e3e96a1a0aeafb7d06da61 (diff)
Merge commit 'dkg/master'
Diffstat (limited to 'src')
-rw-r--r--src/common2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/common b/src/common
index c70ba64..7768335 100644
--- a/src/common
+++ b/src/common
@@ -413,7 +413,7 @@ gpg_fetch_userid() {
userID="$1"
- log verbose " checking keyserver $KEYSERVER... "
+ log info " checking keyserver $KEYSERVER... "
echo 1,2,3,4,5 | \
gpg --quiet --batch --with-colons \
--command-fd 0 --keyserver "$KEYSERVER" \