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

add an option to the input framework that allows the user

Browse source 
to chose to not die upon encountering files/functions.

I am not entirely sure if I like the approach I took for
this, it is a bit... hacky.
This commit is contained in:
Bernhard Amann 2012-08-21 23:00:04 -07:00
parent eee4fbf7ad
commit b53be21750
6 changed files with 125 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

7
scripts/base/frameworks/input/main.bro
View file

@ -10,6 +10,13 @@ export {
const default_mode = MANUAL &redef;
## Flag that controls if the input framework accepts records
## that contain types that are not supported (at the moment
## file and function). If true, the input framework will
## warn in these cases, but continue. If false, it will
## abort. Defaults to false (abort)
const accept_unsupported_types = F &redef;
## TableFilter description type used for the `table` method.
type TableDescription: record {
## Common definitions for tables and events