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

fix for script coverage missing on-exit activity

Browse source
This commit is contained in:
Vern Paxson 2022-05-03 10:44:30 -07:00
parent fbe33d4ee9
commit 2bb4e696e1
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/zeek-setup.cc
View file

@ -378,8 +378,6 @@ static void terminate_zeek()
// the termination process.
file_mgr->Terminate();
script_coverage_mgr.WriteStats();
if ( zeek_done )
event_mgr.Enqueue(zeek_done, Args{});
@ -419,6 +417,8 @@ static void terminate_zeek()
finish_script_execution();
script_coverage_mgr.WriteStats();
delete zeekygen_mgr;
delete packet_mgr;
delete analyzer_mgr;