Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
fixup! mingw: kill child processes in a gentler way
Seems that this maintainer managed to merge a revision without the last-minute changes. This fix makes sure that the exit_status is preserved, and that it is easier to reason about the main_process and why it is terminated and the handle is closed only once (I am looking at you, Coverity!). Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
- Loading branch information