Fix repository deletion bug where the Lucene ticket index was not purged

James Moger

2014-09-08 c599bd17342d7019c68cd6dbea48c0b27efebd38

 src/main/java/com/gitblit/auth/PAMAuthProvider.java

@@ -98,7 +98,9 @@
         logger.error(e.getMessage());
         return null;
      } finally {
         pam.dispose();
         if (pam != null) {
            pam.dispose();
         }
      }

        UserModel user = userManager.getUserModel(username);