jetty.project/jetty-servlets
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