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

Use a timer to check for death of supervised node's parent

Browse source
This commit is contained in:
Jon Siwek 2020-01-15 15:27:53 -08:00
parent 7ddd311583
commit dbca14e1fc
6 changed files with 43 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/Timer.h
View file

@ -41,6 +41,7 @@ enum TimerType {
TIMER_TCP_PARTIAL_CLOSE,
TIMER_TCP_RESET,
TIMER_TRIGGER,
TIMER_PPID_CHECK,
TIMER_TIMERMGR_EXPIRE,
};
const int NUM_TIMER_TYPES = int(TIMER_TIMERMGR_EXPIRE) + 1;