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 Jetty as webserver documentation #33733

Closed
mhalbritter opened this issue Jan 9, 2023 · 3 comments
Closed

Fix Jetty as webserver documentation #33733

mhalbritter opened this issue Jan 9, 2023 · 3 comments
Labels
status: duplicate A duplicate of another issue

Comments

@mhalbritter
Copy link
Contributor

In https://docs.spring.io/spring-boot/docs/current/reference/htmlsingle/#howto.webserver.use-another we document how to use Jetty instead of Tomcat.

This contains

<servlet-api.version>3.1.0</servlet-api.version>

which is out of date. It also talks about

NOTE: The version of the servlet API has been overridden as, unlike Tomcat 9 and Undertow 2, Jetty 9.4 does not support servlet 4.0.
If you wish to use Jetty 10, which does support servlet 4.0, you can do so as shown in the following example:

which is out of date. We should update or remove this section.

@mhalbritter mhalbritter added the type: documentation A documentation update label Jan 9, 2023
@mhalbritter mhalbritter added this to the 3.0.x milestone Jan 9, 2023
@wilkinsona
Copy link
Member

Duplicate of #33044?

@mhalbritter
Copy link
Contributor Author

Definitely related. There's more in this section, for example the Tomcat versions, and outdated servlet versions, which should be fixed, too.

@mhalbritter mhalbritter closed this as not planned Won't fix, can't repro, duplicate, stale Oct 27, 2023
@mhalbritter
Copy link
Contributor Author

Duplicate of #37238, fixed in b4721c9.

@mhalbritter mhalbritter removed this from the 3.0.x milestone Oct 27, 2023
@mhalbritter mhalbritter added status: duplicate A duplicate of another issue and removed type: documentation A documentation update labels Oct 27, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
status: duplicate A duplicate of another issue
Projects
None yet
Development

No branches or pull requests

2 participants