diff options
author | Jameson Graef Rollins <jrollins@phys.columbia.edu> | 2008-09-02 16:39:47 -0700 |
---|---|---|
committer | Jameson Graef Rollins <jrollins@phys.columbia.edu> | 2008-09-02 16:39:47 -0700 |
commit | 7dab6df00804017844dab244f11e72cc73199fd8 (patch) | |
tree | f5727d34d35179012b00cb8156a171191f737173 /src/common | |
parent | aefec8e2f77cf0bba2ea971607c1882925a197e2 (diff) | |
parent | 4dfcb19ae2fed99d83e3e96a1a0aeafb7d06da61 (diff) |
Merge commit 'dkg/master'
Diffstat (limited to 'src/common')
-rw-r--r-- | src/common | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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" \ |