Skip to content
Commit bac6d439 authored by Stefan Brüns's avatar Stefan Brüns Committed by Christoph Cullmann
Browse files

[WorkerPipe] Verify inputEnd() is signaled when parent process exits

In case the parent process closes the pipe to the worker process, the
worker should exit as soon as possible (i.e. on the next event loop
iteration).
parent 33756dd4
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment