From 788df85d0c3a82fdcb394f37eaad1529f50a9bf9 Mon Sep 17 00:00:00 2001
From: "Egor.Ushakov" <egor.ushakov@jetbrains.com>
Date: Wed, 18 May 2016 16:13:54 +0300
Subject: [PATCH] IDEA-156165 WinPty process subprocesses are not killed - need
 to destroy agent after killing child

---
 .../src/com/intellij/execution/process/OSProcessUtil.java     | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/platform/platform-impl/src/com/intellij/execution/process/OSProcessUtil.java b/platform/platform-impl/src/com/intellij/execution/process/OSProcessUtil.java
index 4b7fedeef27f..7e9d1a918902 100644
--- a/platform/platform-impl/src/com/intellij/execution/process/OSProcessUtil.java
+++ b/platform/platform-impl/src/com/intellij/execution/process/OSProcessUtil.java
@@ -52,7 +52,9 @@ public class OSProcessUtil {
     if (SystemInfo.isWindows) {
       try {
         if (process instanceof WinPtyProcess) {
-          return WinProcessManager.kill(((WinPtyProcess)process).getChildProcessId(), true);
+          boolean res = WinProcessManager.kill(((WinPtyProcess)process).getChildProcessId(), true);
+          process.destroy();
+          return res;
         }
         if (Registry.is("disable.winp")) {
           return WinProcessManager.kill(process, true);