diff options
Diffstat (limited to 'otherlibs/win32unix/startup.c')
| -rw-r--r-- | otherlibs/win32unix/startup.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/win32unix/startup.c b/otherlibs/win32unix/startup.c index a3cb3d221..98ab45a99 100644 --- a/otherlibs/win32unix/startup.c +++ b/otherlibs/win32unix/startup.c @@ -15,7 +15,7 @@ #include <fcntl.h> #include <stdlib.h> #include <mlvalues.h> -#include <winsock.h> +#include "unixsupport.h" value val_process_id; @@ -48,5 +48,5 @@ static int std_handles[3] = { CAMLprim value win_stdhandle(value nhandle) { - return win_alloc_handle(GetStdHandle(std_handles[Int_val(nhandle)])); + return win_alloc_handle_or_socket(GetStdHandle(std_handles[Int_val(nhandle)])); } |