--- a/svghmi/svghmi_server.py Thu Aug 01 12:11:11 2024 +0200
+++ b/svghmi/svghmi_server.py Tue Aug 06 15:25:57 2024 +0200
@@ -310,9 +310,9 @@
def waitpid_timeout_loop(pid=proc.pid, timeout = timeout):
while os.waitpid(pid,os.WNOHANG) == (0,0):
GetPLCObjectSingleton().LogMessage(
LogLevelsDict["WARNING"],
"Timeout waiting for {} PID: {}".format(helpstr, str(pid)))
@@ -320,5 +320,6 @@
# workaround exception "OSError: [Errno 10] No child processes"
- Thread(target=waitpid_timeout_loop, name="Zombie hunter").start()
+ # Thread(target=waitpid_timeout_loop, name="Zombie hunter").start()