Delete ssh public keys when user is deleted

James Moger

2014-03-26 6da45ac87e39c2efeeb2849271ac3c555f106ab9

 src/main/java/com/gitblit/Constants.java

@@ -501,7 +501,7 @@
   }



   public static enum AuthenticationType {

      SSH, CREDENTIALS, COOKIE, CERTIFICATE, CONTAINER;

      PUBLIC_KEY, CREDENTIALS, COOKIE, CERTIFICATE, CONTAINER;



      public boolean isStandard() {

         return ordinal() <= COOKIE.ordinal();