New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

read JNDI global resources in Tomcat from external file #89

Open

GoogleCodeExporter opened this issue Aug 26, 2015 · 0 comments

Labels

auto-migrated Milestone-NotSpecified Priority-Low Type-Enhancement

GoogleCodeExporter commented Aug 26, 2015

Requested functionality:
- read JNDI global resources in Tomcat from external file

Detailed description of functionality
- there will be an extra config file in tomcat "conf" directory
- server.xml will include probably additional listener that reads the file
- purpose: to not spoil the server.xml file

Original issue reported on code.google.com by [email protected] on 2 Jan 2013 at 10:59

The text was updated successfully, but these errors were encountered:

GoogleCodeExporter added Type-Enhancement auto-migrated Milestone-NotSpecified Priority-Low labels

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment