Skip to content

ChildProcessSupervisor: Check termination before child exit#372

Merged
jherbel merged 1 commit intomainfrom dev/joerg/child_process_supervisor_shutdownOct 11, 2023
+5-4

Commits

Commits on Oct 11, 2023