Re: [DBCP] tomcat / JNDI users - pls review DBCP-435 changes

2015-02-16 Thread Mark Thomas
On 16/02/2015 20:28, Phil Steitz wrote: > I think the idea in this issue / patch is good - warn users when > they are specifying obsolete or unknown properties in JNDI references. > > I tested with tc 8 trunk and apart from the formatting changes I put > into the patch (and suppressed redundant st

[DBCP] tomcat / JNDI users - pls review DBCP-435 changes

2015-02-16 Thread Phil Steitz
I think the idea in this issue / patch is good - warn users when they are specifying obsolete or unknown properties in JNDI references. I tested with tc 8 trunk and apart from the formatting changes I put into the patch (and suppressed redundant stderr writes), output looks similar to what is in t