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

--
To unsubscribe, e-mail:   <mailto:[EMAIL PROTECTED]>
For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>

Reply via email to