From f67bf49c91e43b7b0bab4a7ce401e498c757bab6 Mon Sep 17 00:00:00 2001 From: Andrea Mazzoleni Date: Tue, 4 Aug 2026 11:50:00 +0200 Subject: [PATCH] Comment about process resource in os_term/os_kill on Windows --- os/os.h | 2 ++ 1 file changed, 2 insertions(+) diff --git a/os/os.h b/os/os.h index 8180b3e0..6e76b205 100644 --- a/os/os.h +++ b/os/os.h @@ -135,6 +135,7 @@ 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. */ @@ -142,6 +143,7 @@ int os_term(pid_t pid); /** * Forcibly terminate a process. + * The caller must subsequently call os_wait() to reap process resources and close handles. * \param pid Process ID of the process to kill. * \return 0 on success, -1 on failure. */