Details
Description
Define /a servlet as follows:
<servlet>
<servlet-name>AServlet</servlet-name>
<servlet-class>servlets.AServlet</servlet-class>
</servlet>
<servlet-mapping>
<servlet-name>AServlet</servlet-name>
<url-pattern>/a/*</url-pattern>
</servlet-mapping>
When called with /a//parameter, Jetty sets pathInfo to /parameter and not //parameter. When called with /a//parameter, the correct pathInfo is given (//parameter)
I've been around this issue several times now.... and I always forget what exactly is the correct behaviour.
But Jetty definitely stripping // into // even when part of the parth info.
So either I did that for a reason or I've goofed up after fixing it last time.
Do you have any references as to why you think it is not correct to reduce // to / ?