Support custom header colors and finish theme flattening (issue 209)

James Moger

2013-06-26 c129a913c4fd64558aef4cbad41c4246f5886a97

 src/main/java/com/gitblit/AuthenticationFilter.java

@@ -28,6 +28,7 @@
import javax.servlet.ServletRequest;

import javax.servlet.ServletResponse;

import javax.servlet.http.HttpServletRequest;

import javax.servlet.http.HttpServletRequestWrapper;

import javax.servlet.http.HttpServletResponse;

import javax.servlet.http.HttpSession;



@@ -105,7 +106,6 @@
   /**

    * Taken from Jetty's LoginAuthenticator.renewSessionOnAuthentication()

    */

   @SuppressWarnings("unchecked")

   protected void newSession(HttpServletRequest request, HttpServletResponse response) {

      HttpSession oldSession = request.getSession(false);

      if (oldSession != null && oldSession.getAttribute(SESSION_SECURED) == null) {

@@ -145,7 +145,7 @@
   /**

    * Wraps a standard HttpServletRequest and overrides user principal methods.

    */

   public static class AuthenticatedRequest extends ServletRequestWrapper {

   public static class AuthenticatedRequest extends HttpServletRequestWrapper {



      private UserModel user;