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

Mark all timers as final

Browse source
This commit is contained in:
Tim Wojtulewicz 2020-04-03 15:20:19 -04:00
parent e66148a13a
commit c2375fc88d
14 changed files with 15 additions and 15 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/logging/Manager.cc
View file

@ -1390,7 +1390,7 @@ RecordType* Manager::StreamColumns(EnumVal* stream_id)
}
// Timer which on dispatching rotates the filter.
class RotationTimer : public Timer {
class RotationTimer final : public Timer {
public:
RotationTimer(double t, Manager::WriterInfo* arg_winfo, bool arg_rotate)
: Timer(t, TIMER_ROTATE)