David Ostrovsky
2014-06-16 5441436f507a8b1b0dbd24b523e4a27bd30840e6
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);