Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-02 14:48:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

main: free the global scope in terminate_bro()

Browse source 
Make valgrind a bit happier.
This commit is contained in:
Max Kellermann 2020-02-26 05:45:36 +01:00
parent 875bfc09a2
commit b654a68c86
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/main.cc
View file

@ -308,6 +308,9 @@ void terminate_bro()
delete plugin_mgr;
delete val_mgr;
// free the global scope
pop_scope();
reporter = 0;
}