# HG changeset patch
# User Andrey Skvortsov <andrej.skvortzov@gmail.com>
# Date 1512375646 -10800
# Node ID 3707240447f8b62604569c113b691c3481b249ec
# Parent  091005ec69c462b176edde91b2799142519ba6bb
fix deadlock if method kill() is called after process is already finished

diff -r 091005ec69c4 -r 3707240447f8 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