Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] Unix.kill on Win32
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2003-08-07 (00:41)
From: Jacques Garrigue <garrigue@k...>
Subject: Re: [Caml-list] Unix.kill on Win32
From: Jacques Garrigue <>

> > Would it be possible/sensible to have some limited implementation of
> > Unix.kill for Win32, so that 'kill pid 9' or 'kill pid 15' worked for
> > example?
> I may be wrong, but when I looked at the problem about 5 years ago, I
> couldn't find any way to act on a windows process from outside it.
> The process manager must be using some internal API.

Just a small followup to myself: after a quick search on the web,
there seems to be two functions, TerminateProcess and
GenerateConsoleControlEvent, but making them work like signals is far
from easy. IIRC TerminateProcess on Windows95--ME may sometimes break
the OS.

Jacques Garrigue

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: