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

Make sure that all sessions/connections are done before deleting plugins

Browse source 
(cherry picked from commit e29b499a211137cf3cf0c24a4ff82db1b806f132)
This commit is contained in:
Tim Wojtulewicz 2023-06-21 16:51:31 -07:00
parent cca5a8ca5d
commit f5a3da5945
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/zeek-setup.cc
View file

@ -423,6 +423,7 @@ static void terminate_zeek()
event_mgr.Drain(); event_mgr.Drain();
session_mgr->Clear();
plugin_mgr->FinishPlugins(); plugin_mgr->FinishPlugins();
finish_script_execution(); finish_script_execution();