PathInfo support in extension servlets

[Nicklas Nordborg]

Extensions that which to use servlets are currently required to follow a limited naming scheme when invoking the servlet from an URL:

http://a.base.server/base2/extensions/jar-name/servlet-name.servlet

It is possible to append a query string, but not PATH-INFO. For techincal reasons the URL must still end with '.servlet', but it should be possible to do something like:

http://a.base.server/base2/extensions/jar-name/servlet-name/path/info.servlet

What is required is basically that we need to change the regexp that parses the URL, and to remap the Request.getServletPath() and Request.getPathInfo() to the proper values. Eq:

servlet-path = /extensions/jar-name/servlet-name
path-info = /path/info.servlet

See ​http://baseplugins.thep.lu.se/ticket/162 (and related mailing list message) for background info.

[Nicklas Nordborg]

(In [4703]) Fixes #1214: PathInfo support in extension servlets