mirror of
https://github.com/zeek/zeek.git
synced 2025-10-02 22:58:20 +00:00
Removing unused class member.
This commit is contained in:
parent
564e27abb6
commit
2823744ea5
1 changed files with 0 additions and 4 deletions
|
@ -199,10 +199,6 @@ private:
|
|||
bool terminating; // Set to to true to signal termination.
|
||||
bool killed; // Set to true once forcefully killed.
|
||||
|
||||
// Used as a semaphore to tell the pthread thread when it may
|
||||
// terminate.
|
||||
pthread_mutex_t terminate;
|
||||
|
||||
// For implementing Fmt().
|
||||
char* buf;
|
||||
unsigned int buf_len;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue