summaryrefslogtreecommitdiffstats
path: root/win32caml/startocaml.c
diff options
context:
space:
mode:
Diffstat (limited to 'win32caml/startocaml.c')
-rw-r--r--win32caml/startocaml.c11
1 files changed, 11 insertions, 0 deletions
diff --git a/win32caml/startocaml.c b/win32caml/startocaml.c
index 7d3d12f2d..ac99bf909 100644
--- a/win32caml/startocaml.c
+++ b/win32caml/startocaml.c
@@ -315,3 +315,14 @@ error:
goto error;
return result;
}
+
+
+void InterruptOcaml(void)
+{
+ if (! GenerateConsoleCtrlEvent(CTRL_BREAK_EVENT, pi.dwProcessId)) {
+ char message[1024];
+ sprintf(message, "GenerateConsole failed: %d\n", GetLastError());
+ MessageBox(NULL, message, "Ocaml", MB_OK);
+ }
+ WriteToPipe(" ");
+}