diff options
| author | Joakim Erdfelt | 2013-10-10 15:42:29 +0000 |
|---|---|---|
| committer | Joakim Erdfelt | 2013-10-10 15:42:29 +0000 |
| commit | 8f4a403d4e317cc3438bee65a293e3b4d03eca0e (patch) | |
| tree | 53bb19f0ded8bd0339c417f9e5f60f3fad75f836 /jetty-server | |
| parent | 646b4c929b89311173e4e7511f4e31ebd4ed534f (diff) | |
| download | org.eclipse.jetty.project-8f4a403d4e317cc3438bee65a293e3b4d03eca0e.tar.gz org.eclipse.jetty.project-8f4a403d4e317cc3438bee65a293e3b4d03eca0e.tar.xz org.eclipse.jetty.project-8f4a403d4e317cc3438bee65a293e3b4d03eca0e.zip | |
419146 - Parameterize etc/jetty-requestlog.xml values
Diffstat (limited to 'jetty-server')
| -rw-r--r-- | jetty-server/src/main/config/etc/jetty-requestlog.xml | 4 | ||||
| -rw-r--r-- | jetty-server/src/main/config/modules/requestlog.mod | 8 |
2 files changed, 10 insertions, 2 deletions
diff --git a/jetty-server/src/main/config/etc/jetty-requestlog.xml b/jetty-server/src/main/config/etc/jetty-requestlog.xml index 7b1b241b73..f4f0eb88d4 100644 --- a/jetty-server/src/main/config/etc/jetty-requestlog.xml +++ b/jetty-server/src/main/config/etc/jetty-requestlog.xml @@ -20,8 +20,8 @@ <Set name="retainDays"><Property name="requestlog.retain" default="90"/></Set> <Set name="append"><Property name="requestlog.append" default="false"/></Set> <Set name="extended"><Property name="requestlog.extended" default="false"/></Set> - <Set name="logCookies">false</Set> - <Set name="LogTimeZone">GMT</Set> + <Set name="logCookies"><Property name="requestlog.cookies" default="false"/></Set> + <Set name="LogTimeZone"><Property name="requestlog.timezone" default="GMT"/></Set> </New> </Set> </New> diff --git a/jetty-server/src/main/config/modules/requestlog.mod b/jetty-server/src/main/config/modules/requestlog.mod index 39731ef4a6..143811d7ec 100644 --- a/jetty-server/src/main/config/modules/requestlog.mod +++ b/jetty-server/src/main/config/modules/requestlog.mod @@ -12,6 +12,14 @@ etc/jetty-requestlog.xml logs/ [ini-template] +# How many days to retain the logs # requestlog.retain=90 +# If an existing log with the same name is found, just append to it # requestlog.append=true +# Use the extended log output # requestlog.extended=true +# Log http cookie information as well +# requestlog.cookies=true +# Set the log output timezone +# requestlog.timezone=GMT + |