Issue #6008 - add default ini line for jetty.requestlog.dir

Signed-off-by: Lachlan Roberts <lachlan@webtide.com>
jetty · Mar 10, 2021 · 671a76c · 671a76c
1 parent c1215e4
commit 671a76c
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/jetty-server/src/main/config/modules/requestlog.mod b/jetty-server/src/main/config/modules/requestlog.mod
@@ -16,6 +16,9 @@ etc/jetty-requestlog.xml
 [files]
 logs/
 
+[ini]
+jetty.requestlog.dir?=logs
+
 [ini-template]
 ## Format string
 # jetty.requestlog.formatString=%a - %u %{dd/MMM/yyyy:HH:mm:ss ZZZ|GMT}t "%r" %s %B "%{Referer}i" "%{User-Agent}i" "%C"