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 ad510c4b4..895a6926b 100644 --- a/otherlibs/win32unix/winwait.c +++ b/otherlibs/win32unix/winwait.c @@ -63,6 +63,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); + } } |