From: Jacques Garrigue <garrigue@kurims.kyoto-u.ac.jp>

> > 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 caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners