Delete ssh public keys when user is deleted

diff --git a/src/main/java/com/gitblit/GitBlit.java b/src/main/java/com/gitblit/GitBlit.java
index 59408a68a119700fcbe73ee9dece899634b104e0..0ffff310022a63a0052971843612b120f34b024c 100644 (file)
--- a/src/main/java/com/gitblit/GitBlit.java
+++ b/src/main/java/com/gitblit/GitBlit.java
@@ -195,6 +195,27 @@ public class GitBlit extends GitblitManager {
                }
        }
 
+       /**
+        * Delete the user and all associated public ssh keys.
+        */
+       @Override
+       public boolean deleteUser(String username) {
+               boolean success = userManager.deleteUser(username);
+               if (success) {
+                       getPublicKeyManager().removeAllKeys(username);
+               }
+               return success;
+       }
+
+       @Override
+       public boolean deleteUserModel(UserModel model) {
+               boolean success = userManager.deleteUserModel(model);
+               if (success) {
+                       getPublicKeyManager().removeAllKeys(model.username);
+               }
+               return success;
+       }
+
        /**
         * Delete the repository and all associated tickets.
         */