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

fix for Trigger's whose termination leads to deleting other Trigger's

Browse source
This commit is contained in:
Vern Paxson 2023-12-08 14:48:28 -05:00 • committed by Arne Welzel
parent ead4b681aa
commit 8e0a62bfec
2 changed files with 5 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/Trigger.h
View file

@ -69,7 +69,7 @@ public:
~Trigger() override;
// Evaluates the condition. If true, executes the body and deletes
// the object deleted.
// the object.
//
// Returns the state of condition.
bool Eval();