mirror of
https://github.com/zeek/zeek.git
synced 2025-10-12 19:48:20 +00:00
Merge branch 'master' into topic/jsiwek/filter-rotation
This commit is contained in:
commit
d8c716ae17
46 changed files with 464 additions and 307 deletions
|
@ -91,7 +91,7 @@ export {
|
|||
## If not given, all entries are recorded.
|
||||
##
|
||||
## rec: An instance of the streams's ``columns`` type with its
|
||||
## fields set to the values to logged.
|
||||
## fields set to the values to logged.
|
||||
##
|
||||
## Returns: True if the entry is to be recorded.
|
||||
pred: function(rec: any): bool &optional;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue