cvs commit: jakarta-watchdog-4.0/src/server/servlet-tests/WEB-INF/classes/tests/javax_servlet_http/HttpServletRequestWrapper HttpServletRequestWrapperGetRequestURLTestServlet.java

rlubke      2002/09/06 07:49:18

  Modified:    src/server/servlet-tests/WEB-INF/classes/tests/javax_servlet_http/HttpServletRequestWrapper
                        HttpServletRequestWrapperGetRequestURLTestServlet.java
  Log:
  Fix for bug 11616.
  
  Made header name check case insensitive.
  
  Revision  Changes    Path
  1.4       +7 -7      jakarta-watchdog-4.0/src/server/servlet-tests/WEB-INF/classes/tests/javax_servlet_http/HttpServletRequestWrapper/HttpServletRequestWrapperGetRequestURLTestServlet.java
  
  Index: HttpServletRequestWrapperGetRequestURLTestServlet.java
  ===================================================================
  RCS file: /home/cvs/jakarta-watchdog-4.0/src/server/servlet-tests/WEB-INF/classes/tests/javax_servlet_http/HttpServletRequestWrapper/HttpServletRequestWrapperGetRequestURLTestServlet.java,v
  retrieving revision 1.3
  retrieving revision 1.4
  diff -u -r1.3 -r1.4
  --- HttpServletRequestWrapperGetRequestURLTestServlet.java	5 Aug 2002 02:33:32 -0000	1.3
  +++ HttpServletRequestWrapperGetRequestURLTestServlet.java	6 Sep 2002 14:49:18 -0000	1.4
  @@ -96,16 +96,16 @@
           for (Enumeration e = request.getHeaderNames(); e.hasMoreElements(); ) {
               String temp = (String) e.nextElement();
   
  -            if ( temp.equals( "prefix" ) ) {
  +            if ( temp.equalsIgnoreCase( "prefix" ) ) {
                   prefix = request.getHeader( temp );
                   found1 = true;
  -            } else if ( temp.equals( "server" ) ) {
  +            } else if ( temp.equalsIgnoreCase( "server" ) ) {
                   server = request.getHeader( temp );
                   found2 = true;
  -            } else if ( temp.equals( "port" ) ) {
  +            } else if ( temp.equalsIgnoreCase( "port" ) ) {
                   port = request.getHeader( temp );
                   found3 = true;
  -            } else if ( temp.equals( "servletpath" ) ) {
  +            } else if ( temp.equalsIgnoreCase( "servletpath" ) ) {
                   path = request.getHeader( temp ).replace( '_', '/' );
                   found4 = true;
               }