Anthony O.
2014-08-08 bdcb8d6d8c858e71f21a274654a41d6d5ab799fc
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);