rpm: assign a real shell to user monkeysphere

[monkeysphere.git] / src / share / common

diff --git a/src/share/common b/src/share/common
index 37f5305a46022f59ea2ed2a1c7e1d2cb76ac4a38..cabc378f05729bf29e673ee0499bca55d4911748 100644 (file)
--- 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"
 }