public class PushHandlerFilter extends Object implements javax.servlet.Filter, Serializable
| Modifier and Type | Field and Description |
|---|---|
static String |
PUSH_SESSION_ID_PARAM |
static String |
REQUEST_ATTRIBUTE_NAME |
static String |
SESSION_ATTRIBUTE_NAME |
| Constructor and Description |
|---|
PushHandlerFilter() |
| Modifier and Type | Method and Description |
|---|---|
void |
destroy() |
void |
doFilter(javax.servlet.ServletRequest request,
javax.servlet.ServletResponse response,
javax.servlet.FilterChain chain)
Note: Filter does not delegate to chain, since it would lead into cycle by calling
HttpServlet.service(ServletRequest, ServletResponse). |
void |
init(javax.servlet.FilterConfig filterConfig) |
public static final String SESSION_ATTRIBUTE_NAME
public static final String REQUEST_ATTRIBUTE_NAME
public static final String PUSH_SESSION_ID_PARAM
public void init(javax.servlet.FilterConfig filterConfig)
throws javax.servlet.ServletException
init in interface javax.servlet.Filterjavax.servlet.ServletExceptionpublic void doFilter(javax.servlet.ServletRequest request,
javax.servlet.ServletResponse response,
javax.servlet.FilterChain chain)
throws IOException,
javax.servlet.ServletException
HttpServlet.service(ServletRequest, ServletResponse).doFilter in interface javax.servlet.FilterIOExceptionjavax.servlet.ServletExceptionpublic void destroy()
destroy in interface javax.servlet.FilterCopyright © 2012 JBoss by Red Hat. All Rights Reserved.