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

Fix #5835 Durable filters and servlets #6027

Merged
merged 3 commits into from Mar 22, 2021
Merged

Conversation

gregw
Copy link
Contributor

@gregw gregw commented Mar 3, 2021

Fix #5835 Durable filters and servlets with a general ServletHandler cleanup.
This replaces #5837

Fix #5835 Durable filters and servlets with a general ServletHandler cleanup
@gregw gregw requested a review from janbartel March 3, 2021 17:41
@gregw gregw added this to In progress in Jetty 10.0.2/11.0.2 via automation Mar 3, 2021
@gregw
Copy link
Contributor Author

gregw commented Mar 10, 2021

@janbartel nudge

@gregw
Copy link
Contributor Author

gregw commented Mar 12, 2021

@janbartel re-nudge


_matchAfterIndex = (_filterMappings.length == 0 ? -1 : _filterMappings.length - 1);
// Update indexes for prepending filters
Copy link
Contributor

Choose a reason for hiding this comment

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

I don't see any code here that removes the non-durable filtermappings, yet we've set the matchBefore and matchAfter index.

Jetty 10.0.2/11.0.2 automation moved this from In progress to Review in progress Mar 22, 2021
update indexes after updating mapping

Signed-off-by: Greg Wilkins <gregw@webtide.com>
@gregw gregw requested a review from janbartel March 22, 2021 06:19
update mappings/indexes before destroyed listeners

Signed-off-by: Greg Wilkins <gregw@webtide.com>
Jetty 10.0.2/11.0.2 automation moved this from Review in progress to Reviewer approved Mar 22, 2021
Copy link
Contributor

@janbartel janbartel left a comment

Choose a reason for hiding this comment

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

If CI is happy, then ship it!

@gregw gregw merged commit c59de80 into jetty-10.0.x Mar 22, 2021
Jetty 10.0.2/11.0.2 automation moved this from Reviewer approved to Done Mar 22, 2021
@gregw gregw deleted the jetty-10.0.x-5835-durable branch March 22, 2021 10:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
No open projects
Development

Successfully merging this pull request may close these issues.

Review Durable Filters, Servlets and Listeners
2 participants