Override Servlet 6.1's `doPatch()` method in `FrameworkServlet`

[hyunsu15]

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.

[sbrannen]

Hi @hyunsu15,

Congratulations on submitting your first issue for the Spring Framework! 👍

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

Indeed, since things work with the status quo, there's no urgency to override doPatch() right away, but it does make sense to consistently override all doXxx() methods defined in HttpServlet. So I've slated this task for 7.1.