Closed LourensVeen closed 9 months ago
This ensures that a SHUTDOWN_WAIT event is also added to the database if there's no need to wait because we have no incoming ports. It also makes the profiling tools more robust against missing events, for example in the event of a crash.
SHUTDOWN_WAIT
Addresses #274.
This ensures that a
SHUTDOWN_WAIT
event is also added to the database if there's no need to wait because we have no incoming ports. It also makes the profiling tools more robust against missing events, for example in the event of a crash.Addresses #274.