From 17ec87f51ccc3761644230412d250bd82ac89e74 Mon Sep 17 00:00:00 2001 From: Lachlan Roberts Date: Tue, 8 Sep 2020 09:46:51 +1000 Subject: [PATCH] Issue #1761 - add extra .ini file configuration for gzip.mod Signed-off-by: Lachlan Roberts --- .../src/main/config/etc/jetty-gzip.xml | 5 +++++ jetty-server/src/main/config/modules/gzip.mod | 22 +++++++++++++++++-- .../server/handler/gzip/GzipHandler.java | 16 +++++++++++++- 3 files changed, 40 insertions(+), 3 deletions(-) diff --git a/jetty-server/src/main/config/etc/jetty-gzip.xml b/jetty-server/src/main/config/etc/jetty-gzip.xml index 24ccbbb4b8c8..0ceac743c4f2 100644 --- a/jetty-server/src/main/config/etc/jetty-gzip.xml +++ b/jetty-server/src/main/config/etc/jetty-gzip.xml @@ -18,8 +18,13 @@ + + + + +