ws_pipe_close(): also close the handle after terminating process

Change-Id: Ie19eba9706e2af1a58a6946e8af68ab90c0c8a7d
Reviewed-on: https://code.wireshark.org/review/30456
Reviewed-by: Pascal Quantin <pascal.quantin@gmail.com>
This commit is contained in:
Pascal Quantin 2018-11-01 10:56:13 +01:00
parent 98e4aedfcd
commit bbaf495162
1 changed files with 1 additions and 2 deletions

View File

@ -335,9 +335,8 @@ void ws_pipe_close(ws_pipe_t * ws_pipe)
if (ws_pipe->pid != WS_INVALID_PID) {
#ifdef _WIN32
TerminateProcess(ws_pipe->pid, 0);
#else
g_spawn_close_pid(ws_pipe->pid);
#endif
g_spawn_close_pid(ws_pipe->pid);
ws_pipe->pid = WS_INVALID_PID;
}
}