clarify why monkeysphere-server publish_key is currently non-functional.

diff --git a/src/common b/src/common
index 9b06b1d19c37615a5dc5b555c3acaac6cfea60ca..c39506d729a14503ebc992adbb92fc3d3e1ae256 100644 (file)
--- a/src/common
+++ b/src/common
@@ -561,6 +561,8 @@ publish_server_key() {
     # FIXME: need to figure out better way to identify host key
     # dummy command so as not to publish fakes keys during testing
     # eventually:
-    #gpg --send-keys --keyserver "$KEYSERVER" $(hostname -f)
-    echo "NOT PUBLISHED: gpg --send-keys --keyserver $KEYSERVER $(hostname -f)"
+    #gpg --keyserver "$KEYSERVER" --send-keys $(hostname -f)
+    echo "NOT PUBLISHED (to avoid permanent publication errors during monkeysphere development).
+To publish manually, do: gpg --keyserver $KEYSERVER --send-keys $(hostname -f)"
+    return 1
 }