Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-17 05:58:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

Actually fix the problem I just tried to fix a minute ago.

Browse source
This commit is contained in:
Seth Hall 2012-11-28 15:58:29 -05:00
parent 92285a9711
commit f1b7ca62ee
1 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -217,10 +217,13 @@ event Metrics::cluster_index_intermediate_response(id: string, filter_name: stri
{ {
#print fmt("MANAGER: receiving intermediate index data from %s", get_event_peer()$descr); #print fmt("MANAGER: receiving intermediate index data from %s", get_event_peer()$descr);
#print fmt("MANAGER: requesting index data for %s", index2str(index)); #print fmt("MANAGER: requesting index data for %s", index2str(index));
++recent_global_view_indexes[id, filter_name, index];
# If a worker recently sent this as an intermediate update, don't request it.
if ( [id, filter_name, index] in recent_global_view_indexes ) if ( [id, filter_name, index] in recent_global_view_indexes )
return; return;
++recent_global_view_indexes[id, filter_name, index];
local uid = unique_id(""); local uid = unique_id("");
event Metrics::cluster_index_request(uid, id, filter_name, index); event Metrics::cluster_index_request(uid, id, filter_name, index);
} }