On 13/07/2013 20:39, Martin Gainty wrote: > Matthias You may have already realised it but it is generally best to ignore any posts by Martin Gainty. They are rarely helpful, often confusing and sometimes completely irrelevant.
Mark --------------------------------------------------------------------- To unsubscribe, e-mail: users-unsubscr...@tomcat.apache.org For additional commands, e-mail: users-h...@tomcat.apache.org