mirror of
https://github.com/zeek/zeek.git
synced 2025-10-10 02:28:21 +00:00
If a thread doesn't terminate, we log that but not longer proceed
(because it could hang later still). Also logging to stderr as well to make sure one sees it. Also adding code to the ASCII writer to catch termination inconsistencies.
This commit is contained in:
parent
1ca0d970fc
commit
c8789cff94
8 changed files with 23 additions and 10 deletions
|
@ -40,6 +40,7 @@ private:
|
|||
FILE* file;
|
||||
string fname;
|
||||
ODesc desc;
|
||||
bool ascii_done;
|
||||
|
||||
// Options set from the script-level.
|
||||
bool output_to_stdout;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue