mirror of
https://github.com/zeek/zeek.git
synced 2025-10-11 02:58:20 +00:00
![]() A thread that is done/killed should signify that the thread manager has some processing to do -- it needs to process any messages in its out queue, join the thread, and delete it. Otherwise the thread manager may reach a state where it makes no progress in processing the last remaining done/killed thread. |
||
---|---|---|
.. | ||
AsciiFormatter.cc | ||
AsciiFormatter.h | ||
BasicThread.cc | ||
BasicThread.h | ||
Manager.cc | ||
Manager.h | ||
MsgThread.cc | ||
MsgThread.h | ||
Queue.h | ||
SerialTypes.cc | ||
SerialTypes.h |