Override Servlet 6.1's doPatch() method in FrameworkServlet #36247

Overview

I have a question and suggestion.

HttpServlet supports the patch method since Servlet 6.1, and Spring 7's baseline is Servlet 6.1.

So, my suggestion is to add explicit support for PATCH in FrameworkServlet.

private static final Set<String> HTTP_SERVLET_METHODS =
			Set.of("DELETE", "HEAD", "GET", "OPTIONS", "POST", "PUT", "TRACE","PATCH");

// ...

	@Override
	protected final void doPatch(HttpServletRequest request, HttpServletResponse response)
			throws ServletException, IOException {

		processRequest(request, response);
	}

I know the history and that the current code works well, but I think that the suggested code is more consistent since HttpServlet now supports the PATCH method.

Related Issues

• Add support for the HTTP PATCH method [SPR-7985] #12640
• doOptions method of FrameworkServlet uses servlet 3.0 only method [SPR-10341] #14975
• Revert Servlet TRACE error dispatch workaround #36258