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

Annotate scheduled events with intended timestamp.

Browse source
This commit is contained in:
Jan Grashoefer 2023-04-19 14:32:25 +02:00
parent fa84d2896a
commit ae152f1777
7 changed files with 73 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/Expr.cc
View file

@ -4279,7 +4279,8 @@ ScheduleTimer::~ScheduleTimer() { }
void ScheduleTimer::Dispatch(double /* t */, bool /* is_expire */)
{
if ( event )
event_mgr.Enqueue(event, std::move(args));
event_mgr.Enqueue(event, std::move(args), util::detail::SOURCE_LOCAL, 0, nullptr,
this->Time());
}
ScheduleExpr::ScheduleExpr(ExprPtr arg_when, EventExprPtr arg_event)