Thanks to visit codestin.com
Credit goes to github.com

Skip to content

[pull] master from dogtagpki:master#353

Merged
pull[bot] merged 1 commit into86dh:masterfrom
dogtagpki:master
Feb 6, 2026
Merged

[pull] master from dogtagpki:master#353
pull[bot] merged 1 commit into86dh:masterfrom
dogtagpki:master

Conversation

@pull
Copy link

@pull pull bot commented Feb 6, 2026

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.4)

Can you help keep this open source service alive? 💖 Please sponsor : )

The get_tomcat_app_server function in build.sh only recognizes rhel,
centos, and fedora as valid distribution IDs. Rocky Linux uses ID="rocky"
in /etc/os-release, which caused the function to fall through to the
default case and return tomcat-9.0 instead of checking the version and
selecting tomcat-10.1 for Rocky Linux 10+.

This patch adds "rocky" to the case statement so Rocky Linux is treated
the same as RHEL/CentOS for Tomcat version selection.

Signed-off-by: Michael L. Young <[email protected]>
@pull pull bot locked and limited conversation to collaborators Feb 6, 2026
@pull pull bot added the ⤵️ pull label Feb 6, 2026
@pull pull bot merged commit 0c12fb5 into 86dh:master Feb 6, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant