Close process handle in os_kill on Windows

This commit is contained in:
Andrea Mazzoleni 2026-08-04 11:50:00 +02:00
parent 5b6c91df79
commit 7e4525f4a3
2 changed files with 5 additions and 1 deletions

View file

@ -2848,9 +2848,12 @@ int os_kill(pid_t pid)
if (!TerminateProcess(h, 1)) {
windows_errno(GetLastError());
CloseHandle(h);
return -1;
}
CloseHandle(h);
return 0;
}

View file

@ -135,13 +135,14 @@ pid_t os_wait(pid_t pid, int* status);
/**
* Terminate gracefully a process.
* The caller must subsequently call os_wait() to reap process resources and close handles.
* \param pid Process ID of the process to terminate.
* \return 0 on success, -1 on failure.
*/
int os_term(pid_t pid);
/**
* Forcibly terminate a process.
* Forcibly terminate a process and release its handle/process resources.
* \param pid Process ID of the process to kill.
* \return 0 on success, -1 on failure.
*/