blob: c170b1a9552014be532d83ea30f2de077228af9d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
#define _WIN32_WINNT 0x0501 /* Cf below, we restrict to */
#include <caml/mlvalues.h>
#include <caml/memory.h>
#include <windows.h>
/* Win32 emulation of kill -9 */
/* The pid returned by Unix.create_process is actually a pseudo-pid,
made via a cast of the obtained HANDLE, (cf. win32unix/createprocess.c
in the sources of ocaml). Since we're still in the caller process,
we simply cast back to get an handle...
The 0 is the exit code we want for the terminated process.
*/
CAMLprim value win32_kill(value pseudopid) {
CAMLparam1(pseudopid);
TerminateProcess((HANDLE)(Long_val(pseudopid)), 0);
CAMLreturn(Val_unit);
}
/* Win32 emulation of a kill -2 (SIGINT) */
/* For simplicity, we signal all processes sharing a console with coqide.
This shouldn't be an issue since currently at most one coqtop is busy
at a given time. Earlier, we tried to be more precise via
FreeConsole and AttachConsole before generating the Ctrl-C, but
that wasn't working so well (see #2869).
This code rely now on the fact that coqide is a console app,
and that coqide itself ignores Ctrl-C.
*/
CAMLprim value win32_interrupt_all(value unit) {
CAMLparam1(unit);
GenerateConsoleCtrlEvent(CTRL_C_EVENT,0);
CAMLreturn(Val_unit);
}
/* Get rid of the nasty console window (only if we created it) */
CAMLprim value win32_hide_console (value unit) {
CAMLparam1(unit);
DWORD pid;
HWND hw = GetConsoleWindow();
if (hw != NULL) {
GetWindowThreadProcessId(hw, &pid);
if (pid == GetCurrentProcessId())
ShowWindow(hw, SW_HIDE);
}
CAMLreturn(Val_unit);
}
|
