[jetty-discuss] ;jsessionid being encoded as %3Bjsessionid

[Muneeb M. <mun...@gm...>]

When Jetty 5.1.5 receives a request for URL "/servlet%3Bjsessionid=12345", it 
treats it as a request for a resource called "/servlet;jsessionid=12345" 
instead of a request for resource called "/servlet" with session ID 12345.  Is 
Jetty's behavior correct?  Is this behavior configurable?

How do Tomcat and other J2EE application containers handle this?