Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

chore(deps): Upgrade to Jetty-10 #244

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

Open
wants to merge 5 commits into
base: main
Choose a base branch
Loading
from

Conversation

gregw
Copy link

@gregw gregw commented Oct 3, 2023

Use Jetty-10 on java 11
Builds on #241 as step to #235

gregw added 3 commits October 3, 2023 14:40
Optimization to avoid the extra dispatch overheads of Servlets by using Eclipse Jetty Handlers directly.
Optimization to avoid the extra dispatch overheads of Servlets by using Eclipse Jetty Handlers directly.
Use Jetty-10 on java 11

@Override
public void write(String str) throws IOException {
writer.write(str);

Check warning

Code scanning / CodeQL

Cross-site scripting

Cross-site scripting vulnerability due to a [user-provided value](1). Cross-site scripting vulnerability due to a [user-provided value](2).
gregw added 2 commits October 3, 2023 18:12
Use Jetty-10 on java 11
# Conflicts:
#	invoker/core/pom.xml
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants
Morty Proxy This is a proxified and sanitized view of the page, visit original site.