Quelle rocqide_WIN32.c.in

Sprache: C

#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.10 Sekunden (vorverarbeitet am 2026-06-10) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.