beremiz

fix deadlock if method kill() is called after process is already finished

2017-12-04, Andrey Skvortsov
3707240447f8
Parents 091005ec69c4
Children 20ec80d6fd70
fix deadlock if method kill() is called after process is already finished
1 files changed, 1 insertions(+), 0 deletions(-)
  • +1 -0
    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