Avoid trying to kill a node twice to prevent orphaned processes.#1232

Merged

jgiszczak merged 2 commits intomainfrom test-harness-double-kill-fix

Jun 6, 2023

+4-1

Commits on Jun 5, 2023

Avoid trying to kill a node twice to prevent orphaned processes.
jgiszczak
committed

Commits on Jun 6, 2023

Merge branch 'main' into test-harness-double-kill-fix
jgiszczak
authored