Skip to content

Terminate replayer processes when parent process (unexpectedly) dies. - #96

Merged
HansKristian-Work merged 2 commits into
masterfrom
terminate-on-parent
Sep 14, 2020
Merged

Terminate replayer processes when parent process (unexpectedly) dies.#96
HansKristian-Work merged 2 commits into
masterfrom
terminate-on-parent

Always assign processes to job handles on Windows.

bf78369
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs