mirror of
https://github.com/zeek/zeek.git
synced 2025-10-09 10:08:20 +00:00
Merge remote-tracking branch 'origin/master' into topic/seth/stats-improvement
This commit is contained in:
commit
d9d579c52c
416 changed files with 12813 additions and 3278 deletions
|
@ -201,7 +201,7 @@ public:
|
|||
|
||||
bool IsPersistent() { return persistent; }
|
||||
|
||||
void Describe(ODesc* d) const;
|
||||
void Describe(ODesc* d) const override;
|
||||
void IDString(ODesc* d) const;
|
||||
|
||||
TimerMgr* GetTimerMgr() const;
|
||||
|
@ -336,7 +336,7 @@ public:
|
|||
{ Init(arg_conn, arg_timer, arg_do_expire); }
|
||||
virtual ~ConnectionTimer();
|
||||
|
||||
void Dispatch(double t, int is_expire);
|
||||
void Dispatch(double t, int is_expire) override;
|
||||
|
||||
protected:
|
||||
ConnectionTimer() {}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue