Merged #60 "Barnum: prune deleted branches"

James Moger

2014-05-05 590e80d7624cbd10ea6890decdb1dcbc1c1c9417

 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);