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

Merge branch 'master' of https://github.com/zeek/zeek into topic/robin/closures-merge

Browse source
This commit is contained in:
Zeke Medley 2019-07-25 11:23:40 -07:00
commit bdc8e0e6c4
60 changed files with 877 additions and 732 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/broker/Manager.cc
View file

@ -1039,7 +1039,7 @@ void Manager::ProcessEvent(const broker::topic& topic, broker::zeek::Event ev)
auto val = data_to_val(std::move(args[i]), expected_type);
if ( val )
vl.append(val);
vl.push_back(val);
else
{
auto expected_name = type_name(expected_type->Tag());