diff options
Diffstat (limited to 'otherlibs/win32unix/dup2.c')
| -rw-r--r-- | otherlibs/win32unix/dup2.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/otherlibs/win32unix/dup2.c b/otherlibs/win32unix/dup2.c index c9612620c..4be2d819f 100644 --- a/otherlibs/win32unix/dup2.c +++ b/otherlibs/win32unix/dup2.c @@ -16,6 +16,9 @@ #include <mlvalues.h> #include "unixsupport.h" +extern value win_fd_handle(value); +extern int _dup2(int, int); + CAMLprim value unix_dup2(value fd1, value fd2) { HANDLE oldh, newh; @@ -33,5 +36,8 @@ CAMLprim value unix_dup2(value fd1, value fd2) else CloseHandle(oldh); Descr_kind_val(fd2) = Descr_kind_val(fd1); + /* Reflect the dup2 on the CRT fds, if any */ + if (CRT_fd_val(fd1) != NO_CRT_FD || CRT_fd_val(fd2) != NO_CRT_FD) + _dup2(Int_val(win_fd_handle(fd1)), Int_val(win_fd_handle(fd2))); return Val_unit; } |