Skip to content
This repository has been archived by the owner on Nov 30, 2023. It is now read-only.

Tomcat definition tweaks #24

Merged
merged 1 commit into from
Apr 28, 2019
Merged

Tomcat definition tweaks #24

merged 1 commit into from
Apr 28, 2019

Conversation

Chuxel
Copy link
Member

@Chuxel Chuxel commented Apr 28, 2019

@testforstephen Merged, but made a few small edits. Let me know if you are good with them. This will ensure the right path to the JDK is used even if the user has one set locally.

Copy link
Collaborator

@testforstephen testforstephen left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@Chuxel Chuxel merged commit 58d06c4 into master Apr 28, 2019
@Chuxel Chuxel deleted the clantz/tomcat-tweaks branch May 2, 2019 03:18
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants