Hi All,
We have a filter named: 'jumpers filter'(of MMBase CMS). This filter redirects requests to an url that is specified in the database. This filter is mapped on /* because every request must be checked by this filter. Unfortunately tomcat 5(tomcat 4.1.x works fine!) do fistly verify if the request is a directory, if yes than tomcat appends a trailing slash, almost according to the specs, but they do not describe wildcard matching. If a jumper mapping has the same name as a existing directory, the existing directory overrides the filter mapping.
In my opinion redirects to append trailing slashes must be made configurable, so wilcard (dynamic) mappings will work correctly for the users needs.
-- Sander
--------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
