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

Check that JVM version is 17 #1589

Merged
merged 1 commit into from
Sep 10, 2023
Merged

Check that JVM version is 17 #1589

merged 1 commit into from
Sep 10, 2023

Conversation

wborn
Copy link
Member

@wborn wborn commented Sep 9, 2023

Aborts startup with a helpful message when the JVM version is not 17.

Aborts startup with a helpful message when the JVM version is not 17.

Signed-off-by: Wouter Born <github@maindrain.net>
@wborn wborn added the enhancement An enhancement or new feature label Sep 9, 2023
@wborn wborn requested a review from a team as a code owner September 9, 2023 14:58
@openhab-bot
Copy link
Collaborator

This pull request has been mentioned on openHAB Community. There might be relevant details there:

https://community.openhab.org/t/stop-messing-with-new-unwonted-releases-frustrated-user/149347/51

@wborn wborn added rebuild Triggers a new PR build and removed rebuild Triggers a new PR build labels Sep 9, 2023
Copy link
Member

@J-N-K J-N-K left a comment

Choose a reason for hiding this comment

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

Thanks

@J-N-K J-N-K added this to the 4.1 milestone Sep 10, 2023
@J-N-K J-N-K merged commit 8d3536f into openhab:main Sep 10, 2023
@wborn wborn deleted the check-java-version branch September 10, 2023 08:18
wborn added a commit that referenced this pull request Sep 10, 2023
Aborts startup with a helpful message when the JVM version is not 17.

Signed-off-by: Wouter Born <github@maindrain.net>
@wborn wborn added the patch A PR that has been cherry-picked to a patch release branch label Sep 10, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement An enhancement or new feature patch A PR that has been cherry-picked to a patch release branch
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants