diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2003-01-06 14:52:57 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2003-01-06 14:52:57 +0000 |
| commit | 5ba5d54bd13b2aaa6a25c2b417eec029ae97c60d (patch) | |
| tree | 12508a09005982191c864954c04d2d88d1fc8718 /otherlibs/win32unix/startup.c | |
| parent | 22649ba49d07a90212117bb4779dd3c60be0845c (diff) | |
Lorsqu'un file_descr provient d'un fd du CRT, s'en souvenir et en tenir compte quand on fait Unix.dup2 (PR#1509). Remplacement de stdhandle par filedescr_of_fd.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5370 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/win32unix/startup.c')
| -rw-r--r-- | otherlibs/win32unix/startup.c | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/otherlibs/win32unix/startup.c b/otherlibs/win32unix/startup.c index 98ab45a99..ae584e569 100644 --- a/otherlibs/win32unix/startup.c +++ b/otherlibs/win32unix/startup.c @@ -41,12 +41,3 @@ CAMLprim value win_cleanup(unit) (void) WSACleanup(); return Val_unit; } - -static int std_handles[3] = { - STD_INPUT_HANDLE, STD_OUTPUT_HANDLE, STD_ERROR_HANDLE -}; - -CAMLprim value win_stdhandle(value nhandle) -{ - return win_alloc_handle_or_socket(GetStdHandle(std_handles[Int_val(nhandle)])); -} |