[Treebase-devel] Switching to JNDI Datasource

[Vladimir G. <vga...@ne...>]

It looks like I have figured out how to set up Treebase to use JNDI  
data sources.  Surgery on code and on the build procedures is  
surprisingly minor, but if anyone is concerned about effects on their  
not-yet-committed code, react soon.  I'll commit my changes and post  
switch instructions Tuesday morning.

A bonus question:  TB currently does its Connection pooling via the  
package com.mchange.v2.c3p0.ComboPooledDataSource see treebase-core/ 
src/main/resources/applicationContext-dao.xml.  Is anyone aware why  
this (obscure?) choice?  Tomcat, by default, uses another pooling  
library (Apache commons-dbcp) behind DataSources that it serves via  
JNDI.  I'd rather stick with the Tomcat's default.

--Vladimir