geoserver/geoserver — pull request #619 by n-lagomarsini (2014-06-16 08:47:45+00:00)
Title: [GEOS-6537] Improve documentation about JNDI connection pool configuration

Please look at the following JIRA: http://jira.codehaus.org/browse/GEOS-6537.