equal
deleted
inserted
replaced
175 self.logger.write_warning(_("exited with status {a1} (pid {a2})\n").format(a1=str(ecode), a2=str(pid))) |
175 self.logger.write_warning(_("exited with status {a1} (pid {a2})\n").format(a1=str(ecode), a2=str(pid))) |
176 |
176 |
177 def finish(self, pid, ecode): |
177 def finish(self, pid, ecode): |
178 # avoid running function before start is finished |
178 # avoid running function before start is finished |
179 self.startsem.acquire() |
179 self.startsem.acquire() |
|
180 self.startsem.release() |
180 if self.timeout: |
181 if self.timeout: |
181 self.timeout.cancel() |
182 self.timeout.cancel() |
182 self.exitcode = ecode |
183 self.exitcode = ecode |
183 if self.exitcode != 0: |
184 if self.exitcode != 0: |
184 self.log_the_end(ecode, pid) |
185 self.log_the_end(ecode, pid) |