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

Fixed another "identifier not exported" error.

Browse source
This commit is contained in:
Seth Hall 2011-10-07 03:32:28 -04:00
parent 9e41a7976b
commit 1dd3ba7f7d
1 changed files with 27 additions and 25 deletions
Download patch file Download diff file Expand all files Collapse all files

4
scripts/base/frameworks/metrics/cluster.bro
View file

@ -24,7 +24,6 @@ export {
## since it may opt not to if it requested a global view for the index
## recently.
const cluster_request_global_view_percent = 0.1 &redef;
}
## This event is sent by the manager in a cluster to initiate the
## collection of metrics values for a filter.
@ -52,6 +51,9 @@ global cluster_index_intermediate_response: event(id: Metrics::ID, filter_name:
## This event is scheduled internally on workers to send result chunks.
global send_data: event(uid: string, id: ID, filter_name: string, data: MetricTable);
}
# This is maintained by managers so they can know what data they requested and
# when they requested it.
global requested_results: table[string] of time = table() &create_expire=5mins;