add loud warning about bug in revoke-hostname

[monkeysphere.git] / src / monkeysphere-server

diff --git a/src/monkeysphere-server b/src/monkeysphere-server
index fcd311485342e1c38d1db9305e57950bef036608..bc8be054aef9e5e89f9015211e568aa90bfaaa06 100755 (executable)
--- a/src/monkeysphere-server
+++ b/src/monkeysphere-server
@@ -446,6 +446,15 @@ revoke_hostname() {
        failure "You must specify a hostname to revoke."
     fi
 
+    echo "WARNING: There is a known bug in this function."
+    echo "This function has been known to occasionally revoke the wrong user ID."
+    echo "Please see the following bug report for more information:"
+    echo "http://monkeysphere.info/bugs/revoke-hostname-revoking-wrong-userid/"
+    read -p "Are you sure you would like to proceed? (y/N) " OK; OK=${OK:=N}
+    if [ ${OK/y/Y} != 'Y' ] ; then
+       failure "aborting."
+    fi
+
     userID="ssh://${1}"
 
     fingerprint=$(fingerprint_server_key)
@@ -493,7 +502,7 @@ EOF
 
        show_server_key
 
-       echo "NOTE: User ID revoked, but revokation not published."
+       echo "NOTE: User ID revoked, but revocation not published."
        echo "Run '$PGRM publish-key' to publish the revocation."
     else
        failure "Problem revoking user ID."