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 (file)
--- 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);