Coqide: a special kill function for win32

 This is implemented as a C external launching the TerminateProcess
 of the Win32 API. This should be considered as quite experimental
 (cf. the way we handle pid in the comment of ide_win32_stubs.c).

 I don't know how to emulate an interrupt (Ctrl-C), for now the two
 button "Restart" and "Interrupt" have the same semantics on win32
 (kill the subprocess and start at top).

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14044 85f007b7-540e-0410-9357-904b9bb8a0f7

0 files changed, 0 insertions, 0 deletions