Move to Jetty 12

[sbernard31]

Jetty 9.x will reach end of life.
So we need a solution, see #1662.

Here is a try to move to Jetty 12 using servlet API.

For now, I use jarkarta 9 but I think there is maybe no good reason about that ... probably I should try with jarkata 10 ? 🤔

About java requirement :

• for jakarta see : https://www.codejava.net/java-ee/jakarta-ee-version-history
• for jetty see : https://jetty.org/docs/jetty/12/index.html

[JaroslawLegierski]

For now, I use jarkarta 9 but I think there is maybe no good reason about that ... probably I should try with jarkata 10 ? 🤔

I have built a leshan test version with Jetty 12 using jarkarta10. In next week I will try to test it.

[sbernard31]

I pushed a new commit about using jakarta 10.

I get some warning, I will try to deal with them :

2024-11-04 16:05:43,996 DefaultServlet       [WARN] DefaultServlet pathInfoOnly is set to true. Use ResourceServlet instead.  
2024-11-04 16:05:43,998 ResourceServlet      [WARN] Deprecated resourceBase used instead of baseResource  
2024-11-04 16:06:09,081 DefaultServlet       [WARN] Incorrect mapping for DefaultServlet at /*. Use ResourceServlet