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

broker integration: add distributed data store api

Browse source 
But haven't done the full gamut of testing on it yet.
This commit is contained in:
Jon Siwek 2015-01-30 14:39:16 -06:00
parent d2ea87735a
commit 9875f5d3eb
12 changed files with 1012 additions and 156 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/Trigger.h
View file

@ -32,6 +32,10 @@ public:
// Executes timeout code and deletes the object.
void Timeout();
// Return the timeout interval (negative if none was specified).
double TimeoutValue() const
{ return timeout_value; }
// Called if another entity needs to complete its operations first
// in any case before this trigger can proceed.
void Hold() { delayed = true; }
@ -87,6 +91,7 @@ private:
Stmt* body;
Stmt* timeout_stmts;
Expr* timeout;
double timeout_value;
Frame* frame;
bool is_return;
const Location* location;