diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2001-11-20 13:45:37 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2001-11-20 13:45:37 +0000 |
commit | 5242d0edd814272d17a2a027b43757e022603474 (patch) | |
tree | 8857aeec31821a3c9125988343268d5c0948cf84 /win32caml/startocaml.c | |
parent | d3db3052c3b37fe209a475a3b2405a99486e6fd4 (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.c | 11 |
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(" "); +} |