From ef19a30015bccd893fef2634a4088388344e7f25 Mon Sep 17 00:00:00 2001 From: Tim Wojtulewicz Date: Wed, 21 Jun 2023 16:51:31 -0700 Subject: [PATCH] Make sure that all sessions/connections are done before deleting plugins (cherry picked from commit e29b499a211137cf3cf0c24a4ff82db1b806f132) --- src/zeek-setup.cc | 1 + 1 file changed, 1 insertion(+) diff --git a/src/zeek-setup.cc b/src/zeek-setup.cc index 8258329f5a..41c8479f2a 100644 --- a/src/zeek-setup.cc +++ b/src/zeek-setup.cc @@ -423,6 +423,7 @@ static void terminate_zeek() event_mgr.Drain(); + session_mgr->Clear(); plugin_mgr->FinishPlugins(); finish_script_execution();