Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-02 06:38:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

Remove state_dir and state_write_delay options

Browse source 
Since associated functionality was already removed
This commit is contained in:
Jon Siwek 2019-05-21 09:17:53 -07:00
parent f0c266eac1
commit d6096b1618
7 changed files with 10 additions and 20 deletions
Download patch file Download diff file Expand all files Collapse all files

9
scripts/base/init-bare.zeek
View file

@ -1801,15 +1801,6 @@ global log_file_name: function(tag: string): string &redef;
## Deprecated. This is superseded by the new logging framework.
global open_log_file: function(tag: string): file &redef;
## Specifies a directory for Zeek to store its persistent state. All globals can
## be declared persistent via the :zeek:attr:`&persistent` attribute.
const state_dir = ".state" &redef;
## Length of the delays inserted when storing state incrementally. To avoid
## dropping packets when serializing larger volumes of persistent state to
## disk, Zeek interleaves the operation with continued packet processing.
const state_write_delay = 0.01 secs &redef;
global done_with_network = F;
event net_done(t: time) { done_with_network = T; }