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

Move ParentProcessCheckTimer to detail namespace

Browse source
This commit is contained in:
Jon Siwek 2020-06-15 15:05:18 -07:00
parent 7f347a3b1e
commit d00b3a8daa
3 changed files with 6 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/supervisor/Supervisor.cc
View file

@ -140,12 +140,13 @@ static std::string make_create_message(const Supervisor::NodeConfig& node)
return fmt("create %s %s", node.name.data(), json_str.data());
}
ParentProcessCheckTimer::ParentProcessCheckTimer(double t, double arg_interval)
zeek::detail::ParentProcessCheckTimer::ParentProcessCheckTimer(double t,
double arg_interval)
: Timer(t, TIMER_PPID_CHECK), interval(arg_interval)
{
}
void ParentProcessCheckTimer::Dispatch(double t, bool is_expire)
void zeek::detail::ParentProcessCheckTimer::Dispatch(double t, bool is_expire)
{
// Note: only simple + portable way of detecting loss of parent
// process seems to be polling for change in PPID. There's platform