diff options
Diffstat (limited to 'otherlibs/win32unix/winwait.c')
| -rw-r--r-- | otherlibs/win32unix/winwait.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/otherlibs/win32unix/winwait.c b/otherlibs/win32unix/winwait.c index 0a68076b4a..c02df80861 100644 --- a/otherlibs/win32unix/winwait.c +++ b/otherlibs/win32unix/winwait.c @@ -57,6 +57,8 @@ CAMLprim value win_waitpid(value vflags, value vpid_req) } if (status == STILL_ACTIVE) return alloc_process_status((HANDLE) 0, 0); - else + else { + CloseHandle(pid_req); return alloc_process_status(pid_req, status); + } } |