mirror of
https://github.com/jetty/jetty.project.git
synced 2025-02-19 21:15:04 +00:00
+ Adding DefaultServlet.doHead() to avoid servlet wrapping + Making ResourceService HEAD aware Signed-off-by: Joakim Erdfelt <joakim.erdfelt@gmail.com>