mirror of
https://github.com/zeek/zeek.git
synced 2025-10-06 00:28:21 +00:00
![]() Slightly adapted. I wasn't sure how much guarantee we have around the change propagation when calling terminate() right after the delete. Flipped it around a bit, having the worker outlive the manger instead. |
||
---|---|---|
.. | ||
manager-1..stdout | ||
worker-1..stdout |