diff options
| author | Alain Frisch <alain@frisch.fr> | 2013-09-03 13:10:56 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2013-09-03 13:10:56 +0000 |
| commit | e9723139769a4df610fadba0fdeecab298c1c17e (patch) | |
| tree | 0c79b83255a08c758e457943f74acc8016c7245f /otherlibs/win32unix/createprocess.c | |
| parent | cb146ec66bababddb02e0dc94221f62502b31806 (diff) | |
#6146: emulate Unix.kill with signal = Sys.sigkill under Windows.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14059 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
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))); +} |