diff options
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(" "); +} |