ide: Fixed zombie documentor processes

diff --git a/ide/src/ide.ec b/ide/src/ide.ec
index 5db4a67..30d3837 100644 (file)
--- a/ide/src/ide.ec
+++ b/ide/src/ide.ec
@@ -3624,10 +3624,20 @@ class IDEApp : GuiApplication
             char line[1024];
             ide.documentor.GetLine(line, sizeof(line));
             if(!strcmpi(line, "Exited"))
+            {
+               ide.documentor.CloseInput();
+               ide.documentor.CloseOutput();
+               ide.documentor.Wait();
                delete ide.documentor;
+            }
          }
          if(ide.documentor && ide.documentor.eof)
+         {
+            ide.documentor.CloseInput();
+            ide.documentor.CloseOutput();
+            ide.documentor.Wait();
             delete ide.documentor;
+         }
       }
       return true;
    }