Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Update Jetty to v9.4 #671

Draft
wants to merge 2 commits into
base: dev
Choose a base branch
from
Draft

Conversation

Enet4
Copy link
Collaborator

@Enet4 Enet4 commented Oct 4, 2023

Summary

  • Update some Maven plugins
  • Format Java code
  • Reorganize .gitignore
  • Update Jetty from 9.0.3.v20130506 to 9.4.52.v20230823 9.4.56.v20240826
    • rearrange and reorganize servlets and handlers
    • remover server session attribute
    • mark services known to be unused as deprecated
    • add plugin controller check to skip JettyPluginInterface resource if it is null

- from 9.0.3.v20130506 to 9.4.52.v20230823
- rearrange and reorganize servlets and handlers
  so that the server provides everything
- remove server session attribute
   - we already handle user sessions separately at the moment
- mark services known to be unused as deprecated
- add plugin controller check
  to skip JettyPluginInterface resource if it is null
# for free to join this conversation on GitHub. Already have an account? # to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant