fix deadlock if method kill() is called after process is already finished
authorAndrey Skvortsov <andrej.skvortzov@gmail.com>
Mon, 04 Dec 2017 11:20:46 +0300
changeset 1882 3707240447f8
parent 1881 091005ec69c4
child 1883 20ec80d6fd70
fix deadlock if method kill() is called after process is already finished
util/ProcessLogger.py
--- a/util/ProcessLogger.py	Wed Oct 25 13:50:26 2017 +0300
+++ b/util/ProcessLogger.py	Mon Dec 04 11:20:46 2017 +0300
@@ -177,6 +177,7 @@
     def finish(self, pid, ecode):
         # avoid running function before start is finished
         self.startsem.acquire()
+        self.startsem.release()
         if self.timeout:
             self.timeout.cancel()
         self.exitcode = ecode