Commit b594998
committed
fixup! mingw: kill child processes in a gentler way
exit-process(win32): require caller to close process handle
Before this change, it was a bit unclear whose responsibility it was to
close that handle, and Coverity pointed out that there were cases where
the handle would be closed twice.
Let's make the logic much easier to reason about: It is the duty of any
caller of exit_process()/terminate_process_tree() to close the
handle, period.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>1 parent 6e04e7f commit b594998
1 file changed
Lines changed: 5 additions & 5 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1660 | 1660 | | |
1661 | 1661 | | |
1662 | 1662 | | |
1663 | | - | |
| 1663 | + | |
1664 | 1664 | | |
1665 | 1665 | | |
1666 | 1666 | | |
1667 | 1667 | | |
1668 | 1668 | | |
1669 | 1669 | | |
1670 | | - | |
| 1670 | + | |
1671 | 1671 | | |
1672 | 1672 | | |
1673 | 1673 | | |
| |||
3926 | 3926 | | |
3927 | 3927 | | |
3928 | 3928 | | |
3929 | | - | |
| 3929 | + | |
3930 | 3930 | | |
3931 | 3931 | | |
3932 | 3932 | | |
3933 | 3933 | | |
3934 | | - | |
| 3934 | + | |
3935 | 3935 | | |
3936 | 3936 | | |
3937 | 3937 | | |
3938 | | - | |
| 3938 | + | |
3939 | 3939 | | |
3940 | 3940 | | |
3941 | 3941 | | |
| |||
0 commit comments