(self, exit_code)
| 574 | self.__finish(15) |
| 575 | |
| 576 | def __finish(self, exit_code): |
| 577 | if self.finished: |
| 578 | return |
| 579 | |
| 580 | with self.finish_condition: |
| 581 | self.exit_code = exit_code |
| 582 | self.finished = True |
| 583 | self.output_stream.close() |
| 584 | self.finish_condition.notify_all() |
| 585 | |
| 586 | self.notify_finish_thread.join() |
| 587 | |
| 588 | def is_finished(self): |
| 589 | return self.finished |