diff --git a/contrib/FLShibboleth/includes/web.xml b/contrib/FLShibboleth/includes/web.xml index 74efafc0..4061a1bd 100755 --- a/contrib/FLShibboleth/includes/web.xml +++ b/contrib/FLShibboleth/includes/web.xml @@ -17,12 +17,13 @@ jdbc/vitro/connectionType + How to get a DataSource, Valid values: + SERVER_XML_POOL gets a named DataSource connection from the JNDI context, + most likely that was set up tomcat/conf/server.xml + PROPERTIES_FILE_POOL makes a DataSource using properties from a file that + is pointed to by the JNDI name "java:comp/env/path.configuration" + (set in the Tomcat context). + --> java.lang.String PROPERTIES_FILE_POOL