diff options
Diffstat (limited to 'otherlibs/win32unix/createprocess.c')
| -rw-r--r-- | otherlibs/win32unix/createprocess.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/otherlibs/win32unix/createprocess.c b/otherlibs/win32unix/createprocess.c index 4e32cb19c..0e1e37a24 100644 --- a/otherlibs/win32unix/createprocess.c +++ b/otherlibs/win32unix/createprocess.c @@ -82,3 +82,8 @@ static int win_has_console(void) return 1; } } + +CAMLprim value win_terminate_process(value v_pid) +{ + return (Val_bool(TerminateProcess((HANDLE) Long_val(v_pid), 0))); +} |