diff options
| -rwxr-xr-x | src/monkeysphere-server | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/monkeysphere-server b/src/monkeysphere-server index 6754b23..bc8be05 100755 --- 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) |