hibernate-3.1.3-all-src.zip 面向对象的访问数据库工具

				//$Id: DatasourceConnectionProvider.java 8149 2005-09-11 21:10:52Z oneovthafew $
				package org.hibernate.connection;
				
				import java.sql.Connection;
				import java.sql.SQLException;
				import java.util.Properties;
				
				import javax.sql.DataSource;
				
				import org.hibernate.HibernateException;
				import org.hibernate.cfg.Environment;
				import org.hibernate.util.NamingHelper;
				
				import org.apache.commons.logging.Log;
				import org.apache.commons.logging.LogFactory;
				
				/**
				 * A connection provider that uses a DataSource registered with JNDI.
				 * Hibernate will use this ConnectionProvider by default if the
				 * property hibernate.connection.datasource is set.
				 * @see ConnectionProvider
				 * @author Gavin King
				 */
				public class DatasourceConnectionProvider implements ConnectionProvider {
					private DataSource ds;
					private String user;
					private String pass;
				
					private static final Log log = LogFactory.getLog(DatasourceConnectionProvider.class);
				
					protected DataSource getDataSource() {
						return ds;
					}
				
					protected void setDataSource(DataSource ds) {
						this.ds = ds;
					}
				
					public void configure(Properties props) throws HibernateException {
				
						String jndiName = props.getProperty(Environment.DATASOURCE);
						if (jndiName==null) {
							String msg = "datasource JNDI name was not specified by property " + Environment.DATASOURCE;
							log.fatal(msg);
							throw new HibernateException(msg);
						}
				
						user = props.getProperty(Environment.USER);
						pass = props.getProperty(Environment.PASS);
				
						try {
							ds = (DataSource) NamingHelper.getInitialContext(props).lookup(jndiName);
						}
						catch (Exception e) {
							log.fatal( "Could not find datasource: " + jndiName, e );
							throw new HibernateException( "Could not find datasource", e );
						}
						if (ds==null) {
							throw new HibernateException( "Could not find datasource: " + jndiName );
						}
						log.info( "Using datasource: " + jndiName );
					}
				
					public Connection getConnection() throws SQLException {
						if (user != null || pass != null) {
							return ds.getConnection(user, pass);
						}
						else {
							return ds.getConnection();
						}
					}
				
					public void closeConnection(Connection conn) throws SQLException {
						conn.close();
					}
				
					public void close() {}
				
					/**
					 * @see ConnectionProvider#supportsAggressiveRelease()
					 */
					public boolean supportsAggressiveRelease() {
						return true;
					}
				
				}