|
#define _WIN32_WINNT 0x0501 /* Cf below, we restrict to */
#include <caml/mlvalues.h>
#include <caml/memory.h>
#include <windows.h>
/* Win32 emulation of a kill -2 (SIGINT) */
/* It appears that the documentation for SetConsoleCtrlHandler used in the
prior code (f5276a11) is incorrect. When it's present, it causes some of
the strange behavior described in #13550.
This code signals all processes in the process group (multiple coqidetops) and rocqide.
because the console is shared. Rocqide.win_interrupt is used to ignore the signal sent
to RocqIDE. */
CAMLprim value win32_interrupt(value pseudopid) {
CAMLparam1(pseudopid);
GenerateConsoleCtrlEvent(CTRL_C_EVENT,0); /* signal each process in the process group */
CAMLreturn(Val_unit);
}
[ Dauer der Verarbeitung: 0.17 Sekunden
(vorverarbeitet)
]
|
