By the way, the suggested fix would be for terminate() to return a value indicating if the process were already terminated, and not throw an exception in that case.  For a user to handle the issue correctly on Windows is rather a nasty project involving a race between process death and the call to terminate()