mirror of
https://github.com/zeek/zeek.git
synced 2025-10-02 06:38:20 +00:00
Fixing a warning from the documentation generation.
This commit is contained in:
parent
f603d0121b
commit
1afe8b011c
1 changed files with 3 additions and 2 deletions
|
@ -140,6 +140,9 @@ export {
|
||||||
|
|
||||||
## Event to access metrics records as they are passed to the logging framework.
|
## Event to access metrics records as they are passed to the logging framework.
|
||||||
global log_metrics: event(rec: Info);
|
global log_metrics: event(rec: Info);
|
||||||
|
|
||||||
|
## Type to store a table of metrics values. Interal use only!
|
||||||
|
type MetricTable: table[Index] of count &default=0;
|
||||||
}
|
}
|
||||||
|
|
||||||
redef record Notice::Info += {
|
redef record Notice::Info += {
|
||||||
|
@ -149,8 +152,6 @@ redef record Notice::Info += {
|
||||||
global metric_filters: table[ID] of vector of Filter = table();
|
global metric_filters: table[ID] of vector of Filter = table();
|
||||||
global filter_store: table[ID, string] of Filter = table();
|
global filter_store: table[ID, string] of Filter = table();
|
||||||
|
|
||||||
type MetricTable: table[Index] of count &default=0;
|
|
||||||
|
|
||||||
# This is indexed by metric ID and stream filter name.
|
# This is indexed by metric ID and stream filter name.
|
||||||
global store: table[ID, string] of MetricTable = table() &default=table();
|
global store: table[ID, string] of MetricTable = table() &default=table();
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue