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	Issue #3162 - Use Jetty specific Servlet API jar.	2019-02-04 18:51:26 +01:00