diff options
Diffstat (limited to 'otherlibs/win32unix/startup.c')
| -rw-r--r-- | otherlibs/win32unix/startup.c | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/otherlibs/win32unix/startup.c b/otherlibs/win32unix/startup.c new file mode 100644 index 000000000..922a11fa0 --- /dev/null +++ b/otherlibs/win32unix/startup.c @@ -0,0 +1,42 @@ +/***********************************************************************/ +/* */ +/* Objective Caml */ +/* */ +/* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1996 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +#include <stdio.h> +#include <fcntl.h> +#include <stdlib.h> +#include <mlvalues.h> +#include <winsock.h> + +value val_process_id; + +value win_startup(unit) + value unit; +{ + WSADATA wsaData; + int i; + HANDLE h; + + (void) WSAStartup(MAKEWORD(2, 0), &wsaData); + DuplicateHandle(GetCurrentProcess(), GetCurrentProcess(), + GetCurrentProcess(), &h, 0, TRUE, + DUPLICATE_SAME_ACCESS); + val_process_id = Val_int(h); + + return Val_unit; +} + +value win_cleanup(unit) + value unit; +{ + (void) WSACleanup(); + return Val_unit; +} + |