Simone Bordet 94aa063e9c Fixes #3340 - Update PushCacheFilter to use Servlet 4.0 APIs. ... Updated the push filters to use only the Servlet 4.0 APIs, removing the usage of Jetty specific APIs. Signed-off-by: Simone Bordet <simone.bordet@gmail.com>		2019-02-14 21:07:11 +01:00
..
src	Fixes #3340 - Update PushCacheFilter to use Servlet 4.0 APIs.	2019-02-14 21:07:11 +01:00
pom.xml	Merge remote-tracking branch 'origin/jetty-10.0.x' into jetty-10.0.x-3162_jetty_servlet_api	2019-01-30 11:56:58 -06:00