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

Remove unused HeartbeatTimer member: do_expire

Browse source 
Coverity CID 1417434
This commit is contained in:
Jon Siwek 2020-02-05 16:43:22 -08:00
parent c5340c7c3e
commit 4e87b6ee73
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/threading/Manager.h
View file

@ -19,7 +19,6 @@ public:
protected: protected:
void Init(); void Init();
int do_expire;
}; };
/** /**