Re: Tomcat "JNDI Datasource How-To" documentation & driver managers

Thank you - very helpful & much appreciated. On Sat, Aug 14, 2021 at 4:24 PM Mark Thomas wrote: > On 14/08/2021 01:51, Andrew Tanton wrote: > > In the Tomcat "JNDI Datasource How-To" documentation page > > < >

Re: Tomcat "JNDI Datasource How-To" documentation & driver managers

On 14/08/2021 01:51, Andrew Tanton wrote: In the Tomcat "JNDI Datasource How-To" documentation page , there is an unusually opinionated section, which discusses the Java service provider (driver

Tomcat "JNDI Datasource How-To" documentation & driver managers

In the Tomcat "JNDI Datasource How-To" documentation page , there is an unusually opinionated section, which discusses the Java service provider (driver manager) mechanism: "*However, the implementation