mirror of
https://github.com/zeek/zeek.git
synced 2025-10-10 10:38:20 +00:00
Remove dead code: dump_used_event_handlers
This commit is contained in:
parent
2655a65331
commit
5343924eb9
4 changed files with 0 additions and 20 deletions
|
@ -184,7 +184,6 @@ int dpd_ignore_ports;
|
|||
TableVal* likely_server_ports;
|
||||
|
||||
int check_for_unused_event_handlers;
|
||||
int dump_used_event_handlers;
|
||||
|
||||
int suppress_local_output;
|
||||
|
||||
|
@ -236,8 +235,6 @@ void init_general_global_var()
|
|||
|
||||
check_for_unused_event_handlers =
|
||||
opt_internal_int("check_for_unused_event_handlers");
|
||||
dump_used_event_handlers =
|
||||
opt_internal_int("dump_used_event_handlers");
|
||||
|
||||
suppress_local_output = opt_internal_int("suppress_local_output");
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue