diff options
author | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2010-03-14 09:50:57 -0400 |
---|---|---|
committer | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2010-03-14 10:01:26 -0400 |
commit | dc52882f7ecf895377bfbf65833c6a699be4ab28 (patch) | |
tree | 9538843f6612e7f452767c3128094bad93fba6c7 /src | |
parent | 24da4d0207c8d3c7586871dac3eea9d2a0b864c3 (diff) |
warn if keyserver query fails (Closes: MS #1750)
Diffstat (limited to 'src')
-rw-r--r-- | src/share/common | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/share/common b/src/share/common index 37f5305..cabc378 100644 --- a/src/share/common +++ b/src/share/common @@ -581,6 +581,10 @@ gpg_fetch_userid() { --search ="$userID" &>/dev/null returnCode="$?" + if [ "$returnCode" != 0 ] ; then + log error "Failure ($returnCode) searching keyserver $KEYSERVER for user id '$userID'" + fi + return "$returnCode" } |