Romain Vimont ad41bacb48 Fix "terminate process" on Windows
CloseHandle() does not terminate the process. TerminateProcess() does.
2018-02-12 16:35:23 +01:00
..
2018-02-12 16:35:23 +01:00
2018-01-29 14:52:22 +01:00