On 11/10/18 10:12, Mark Thomas wrote: <snip/>
> If folks think this looks reasonable, I can create a BZ enhancement > request to implement it. https://bz.apache.org/bugzilla/show_bug.cgi?id=62841 --------------------------------------------------------------------- To unsubscribe, e-mail: users-unsubscr...@tomcat.apache.org For additional commands, e-mail: users-h...@tomcat.apache.org