Add new LogAscii::gzip_file_extension option.

This can be used with the LogAscii::gzip_level option to set the file extension of log files when they are compressed at creation time.
This commit is contained in:
Tim Wojtulewicz 2019-08-05 14:23:06 -07:00
parent 6fa0f4ac49
commit 337da50da6
5 changed files with 32 additions and 5 deletions

View file

@ -39,6 +39,12 @@ export {
## This option is also available as a per-filter ``$config`` option.
const gzip_level = 0 &redef;
## Define the file extension used when compressing log files when
## they are created.
##
## This option is also available as a per-filter ``$config`` option.
const gzip_file_extension = "gz" &redef;
## Format of timestamps when writing out JSON. By default, the JSON
## formatter will use double values for timestamps which represent the
## number of seconds from the UNIX epoch.