jetty.project/jetty-websocket/websocket-servlet/src/main/java
Lachlan cd73338b84
Remove WebSocketComponents & HouseKeeper on Server restart. (#6218)
* Remove WebSocketComponents & HouseKeeper on Server restart.
* Add testing for cleanup of websocket when stopping server.
* Add removeFilterHolder and removeFilterMapping methods on ServletHandler.

Signed-off-by: Lachlan Roberts <lachlan@webtide.com>
2021-05-20 14:48:23 +02:00
..
org/eclipse/jetty/websocket/servlet Remove WebSocketComponents & HouseKeeper on Server restart. (#6218) 2021-05-20 14:48:23 +02:00
module-info.java Happy New Year 2021 (Jetty 10 edition) 2021-01-21 15:05:57 -06:00