On Wed, 22 May 2002, Marc Logemann <[EMAIL PROTECTED]> wrote: > For me it makes no sense to have it only in the tomcat distribution, > cause normally users wont find it there.
I think this is the correct way (putting it into the Tomcat distribution) as users won't need it unless they use Tomcat. Finding it is just a matter of documentation. Stefan -- To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]> For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>