Allow ticket responsible selection when anonymous push is enabled

James Moger

2014-05-12 eb61292adce83ee88561fb7df3fb2ddf2d34a282

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