# HG changeset patch
# User Edouard Tisserant <edouard.tisserant@gmail.com>
# Date 1675438804 -3600
# Node ID ffce28009ad33b72707c7661c920b23021d05799
# Parent  6365e33fb11f157b67f028b5a3726ea925c9c290
IDE: prevent IDE/CLI process surviving to sys.exit() by using deamon threads to monitor external processes output streams.

diff -r 6365e33fb11f -r ffce28009ad3 util/ProcessLogger.py
--- a/util/ProcessLogger.py	Thu Feb 02 17:48:51 2023 +0100
+++ b/util/ProcessLogger.py	Fri Feb 03 16:40:04 2023 +0100
@@ -47,6 +47,7 @@
         self.callback = callback
         self.endcallback = endcallback
         self.fd = fd
+        self.daemon = True
 
     def run(self):
         outchunk = None