public class WebSocketFilter extends Object implements jakarta.servlet.Filter
| Constructor and Description |
|---|
WebSocketFilter() |
| Modifier and Type | Method and Description |
|---|---|
protected FacadeHttpServletRequest |
createWSHandshakeRequest(jakarta.servlet.ServletRequest request) |
void |
destroy() |
void |
doFilter(jakarta.servlet.ServletRequest request,
jakarta.servlet.ServletResponse response,
jakarta.servlet.FilterChain chain) |
void |
init(jakarta.servlet.FilterConfig filterConfig) |
public void init(jakarta.servlet.FilterConfig filterConfig)
throws jakarta.servlet.ServletException
init in interface jakarta.servlet.Filterjakarta.servlet.ServletExceptionpublic void doFilter(jakarta.servlet.ServletRequest request,
jakarta.servlet.ServletResponse response,
jakarta.servlet.FilterChain chain)
throws IOException,
jakarta.servlet.ServletException
doFilter in interface jakarta.servlet.FilterIOExceptionjakarta.servlet.ServletExceptionpublic void destroy()
destroy in interface jakarta.servlet.Filterprotected FacadeHttpServletRequest createWSHandshakeRequest(jakarta.servlet.ServletRequest request)
Copyright © 2026. All rights reserved.