Skip to content
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.

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

[GEOS-11260] JNDI tutorial uses outdated syntax #7417

Merged
merged 1 commit into from
Feb 12, 2024

Conversation

aaime
Copy link
Member

@aaime aaime commented Feb 12, 2024

GEOS-11260 Powered by Pull Request Badge

Avoid inducing users in a faulty pool configuration (one that Tomcat reports no warning about, too).

Checklist

For core and extension modules:

  • New unit tests have been added covering the changes.
  • Documentation has been updated (if change is visible to end users).
  • The REST API docs have been updated (when changing configuration objects or the REST controllers).
  • There is an issue in the GeoServer Jira (except for changes that do not affect administrators or end users in any way).
  • Commit message(s) must be in the form [GEOS-XYZWV] Title of the Jira ticket.
  • Bug fixes and small new features are presented as a single commit.
  • Each commit has a single objective (if there are multiple commits, each has a separate JIRA ticket describing its goal).

@jodygarnett jodygarnett added backport 2.23.x Instructs the bot to create a 2.23.x backport PR on merge backport 2.24.x Instructs the bot to create a 2.24.x backport PR on merge labels Feb 12, 2024
@jodygarnett jodygarnett merged commit 55870bb into geoserver:main Feb 12, 2024
12 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
backport 2.23.x Instructs the bot to create a 2.23.x backport PR on merge backport 2.24.x Instructs the bot to create a 2.24.x backport PR on merge
Projects
None yet
2 participants