Package org.mycore.frontend.filter

Class MCRUserAgentFilter

java.lang.Object

org.mycore.frontend.filter.MCRUserAgentFilter

All Implemented Interfaces:

jakarta.servlet.Filter

public class MCRUserAgentFilter
extends Object
implements jakarta.servlet.Filter

Automatically closes HttpSession of certain user agents. If the User-Agent header matches a regular expression defined by the property MCR.Filter.UserAgent (default: "(bot|spider|crawler|mercator|slurp|seek|nagios)") the HTTP session is closed after the request.

Author:

Thomas Scheffler (yagee)

Constructor Summary

Constructors

Constructor	Description
MCRUserAgentFilter()

Method Summary

Modifier and Type	Method	Description
void	destroy()
void	doFilter(jakarta.servlet.ServletRequest sreq, jakarta.servlet.ServletResponse sres, jakarta.servlet.FilterChain chain)
void	init(jakarta.servlet.FilterConfig arg0)

Methods inherited from class java.lang.Object

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

Constructor Details

MCRUserAgentFilter

public MCRUserAgentFilter()

Method Details

init

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

Specified by:

init in interface jakarta.servlet.Filter

Throws:

jakarta.servlet.ServletException

destroy

public void destroy()

Specified by:

destroy in interface jakarta.servlet.Filter

doFilter

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

Specified by:

doFilter in interface jakarta.servlet.Filter

Throws:

IOException

jakarta.servlet.ServletException