Concretely, the difference is Tomcat doing a HostConfig.deployDescriptors() vs a HostConfig.deployDirectories().
--------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
