Package thredds.servlet.filter

Class HttpHeadFilter

java.lang.Object

thredds.servlet.filter.HttpHeadFilter

All Implemented Interfaces:

jakarta.servlet.Filter

public class HttpHeadFilter
extends Object
implements jakarta.servlet.Filter

Servlet filter that presents a HEAD request as a GET. The application doesn't need to know the difference, as this filter handles all the details.

Constructor Summary

Constructors

Constructor	Description
HttpHeadFilter()

Method Summary

Modifier and Type	Method	Description
void	destroy()
void	doFilter(jakarta.servlet.ServletRequest request, jakarta.servlet.ServletResponse response, jakarta.servlet.FilterChain chain)
void	init(jakarta.servlet.FilterConfig filterConfig)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

HttpHeadFilter

public HttpHeadFilter()

Method Details

init

public void init(jakarta.servlet.FilterConfig filterConfig)
          throws jakarta.servlet.ServletException

Specified by:

init in interface jakarta.servlet.Filter

Throws:

jakarta.servlet.ServletException

doFilter

public void doFilter(jakarta.servlet.ServletRequest request,
 jakarta.servlet.ServletResponse response,
 jakarta.servlet.FilterChain chain)
              throws IOException,
jakarta.servlet.ServletException

Specified by:

doFilter in interface jakarta.servlet.Filter

Throws:

IOException

jakarta.servlet.ServletException

destroy

public void destroy()

Specified by:

destroy in interface jakarta.servlet.Filter