Having seen the various issues we now have with the split of schemas between servlet-api.jar and jsp-api.jar I have changed my mind about the merits of duplicating the resources currently on jsp-api.jar in servlet-api.jar. Therefore, I intend to look at configuring the build script to duplicate them. I should have something ready to commit later today.
Mark --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org
