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

make heart beat interval for threading configureable from scripting layer

Browse source
This commit is contained in:
Bernhard Amann 2012-03-29 09:03:33 -07:00
parent 4558195dab
commit 6a60f484f9
4 changed files with 15 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/threading/Manager.h
View file

@ -120,7 +120,7 @@ protected:
virtual const char* Tag() { return "threading::Manager"; }
private:
static const int HEART_BEAT_INTERVAL = 1;
int heart_beat_interval;
typedef std::list<BasicThread*> all_thread_list;
all_thread_list all_threads;