add loud warning about bug in revoke-hostname

diff --git a/src/monkeysphere-server b/src/monkeysphere-server
index 6754b2321e9c55cea9d7d9d3bbc709a19a5ee1ad..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)