mirror of
https://github.com/zeek/zeek.git
synced 2025-10-02 14:48:21 +00:00
Fix uninitialized (or unused) fields.
This commit is contained in:
parent
64f3bef96d
commit
775ec6795e
62 changed files with 135 additions and 98 deletions
|
@ -147,7 +147,6 @@ protected:
|
|||
|
||||
Timer* rotate_timer;
|
||||
double open_time;
|
||||
bool dont_rotate; // See InstallRotateTimer()
|
||||
bool print_hook;
|
||||
bool raw_output;
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue