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

Cleanup of start properties usages in jetty-10.0.x #10365

Merged
merged 2 commits into from Sep 15, 2023

Conversation

joakime
Copy link
Contributor

@joakime joakime commented Aug 23, 2023

Ensure that start properties exist back and forth between an XML and the MOD file.

Cleanup other property-alike mistakes too.

Signed-off-by: Joakim Erdfelt <joakim.erdfelt@gmail.com>
@joakime joakime added the Bug For general bugs on Jetty side label Aug 23, 2023
@joakime joakime added this to the 10.0.x milestone Aug 23, 2023
@joakime joakime requested a review from sbordet August 23, 2023 19:35
@joakime joakime self-assigned this Aug 23, 2023
Signed-off-by: Joakim Erdfelt <joakim.erdfelt@gmail.com>
@joakime joakime merged commit fd88723 into jetty-10.0.x Sep 15, 2023
4 checks passed
@joakime joakime deleted the fix/10.0.x/start-property-cleanup branch September 15, 2023 14:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Bug For general bugs on Jetty side
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants