mirror of
https://github.com/zeek/zeek.git
synced 2025-10-11 19:18:19 +00:00
updated Bro->Zeek in comments in the source tree
This commit is contained in:
parent
becc966106
commit
d758585e42
71 changed files with 186 additions and 186 deletions
|
@ -304,7 +304,7 @@ static void terminate_bro()
|
|||
if ( profiling_logger )
|
||||
{
|
||||
// FIXME: There are some occasional crashes in the memory
|
||||
// allocation code when killing Bro. Disabling this for now.
|
||||
// allocation code when killing Zeek. Disabling this for now.
|
||||
if ( ! (signal_val == SIGTERM || signal_val == SIGINT) )
|
||||
profiling_logger->Log();
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue