Merge branch 'ticket/177' into develop

James Moger

2014-09-11 5399d90cefd707e9bf3f9ef7e1f9e6b40d68a955

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