What I forgot: The question belongs on the users list us...@tomcat.apache.org.
Please continue the discussion there. Regards, Rainer --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org