summaryrefslogtreecommitdiffstats
path: root/win32caml/startocaml.c
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2001-11-20 13:45:37 +0000
committerXavier Leroy <xavier.leroy@inria.fr>2001-11-20 13:45:37 +0000
commit5242d0edd814272d17a2a027b43757e022603474 (patch)
tree8857aeec31821a3c9125988343268d5c0948cf84 /win32caml/startocaml.c
parentd3db3052c3b37fe209a475a3b2405a99486e6fd4 (diff)
Suite integration corrections J. Navia
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4025 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
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(" ");
+}