From 208f6c2cd469cf46a51b11c0ea58723f4a18f9ab Mon Sep 17 00:00:00 2001
From: Daniel Kahn Gillmor <dkg@fifthhorseman.net>
Date: Thu, 19 Jun 2008 01:53:05 -0400
Subject: [PATCH] clarify why monkeysphere-server publish_key is currently
 non-functional.

---
 src/common | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/common b/src/common
index 9b06b1d..c39506d 100644
--- 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
 }
-- 
2.25.1