From: Jerome St-Louis <jerome@ecere.com>
Date: Mon, 30 Sep 2013 06:16:46 +0000 (-0400)
Subject: documentor: extra check for proper exit when disabling command piping
X-Git-Tag: 0.44.09.9~212
X-Git-Url: https://ecere.com/cgi-bin/gitweb.cgi?p=sdk;a=commitdiff_plain;h=f40a4468171687e12070e65df9d76912deacd16a

documentor: extra check for proper exit when disabling command piping
---

diff --git a/documentor/src/Documentor.ec b/documentor/src/Documentor.ec
index e023976..3663100 100644
--- a/documentor/src/Documentor.ec
+++ b/documentor/src/Documentor.ec
@@ -3736,11 +3736,14 @@ class Documentor : GuiApplication
       PrintLn("Exited");
       console.Flush();
       quit = true;
-      console.CloseInput();
-      console.CloseOutput();
-      app.Unlock();
-      commandThread.Wait();
-      app.Lock();
+      if(commandThread.created)
+      {
+         console.CloseInput();
+         console.CloseOutput();
+         app.Unlock();
+         commandThread.Wait();
+         app.Lock();
+      }
 
       FreeContext(globalContext);
       FreeExcludedSymbols(excludedSymbols);