Merged #126 "Update to JGit 3.4.1"

James Moger

2014-07-03 7480c393a865750415e920eec3b4e78e42c37ec5

 src/main/java/com/gitblit/wicket/pages/SessionPage.java

@@ -56,8 +56,8 @@
         // any changes to permissions or roles (issue-186)

         UserModel user = app().users().getUserModel(session.getUser().username);



         if (user.disabled) {

            // user was disabled during session

         if (user == null || user.disabled) {

            // user was deleted/disabled during session

            HttpServletResponse response = ((WebResponse) getRequestCycle().getResponse())

                  .getHttpServletResponse();

            app().authentication().logout(response, user);