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.Filter
javax.servlet.ServletException
public 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.Filter
IOException
javax.servlet.ServletException
public void destroy()
destroy
in interface javax.servlet.Filter
Copyright © 2015 JBoss by Red Hat. All Rights Reserved.