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

Signed-off-by: Lachlan Roberts <lachlan@webtide.com>
2021-03-10 21:37:30 +11:00 · 2021-03-10 21:37:30 +11:00 · 671a76c613
parent c1215e46c2
commit 671a76c613
1 changed files with 3 additions and 0 deletions
--- 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"