changeset 39437 | 3c6f7eebc010 |
parent 39436 | 3fe028b657bf |
child 39445 | cdb56f295b03 |
39436:3fe028b657bf | 39437:3c6f7eebc010 |
---|---|
725 |
725 |
726 self._closed = True |
726 self._closed = True |
727 |
727 |
728 if not self._responsef: |
728 if not self._responsef: |
729 return |
729 return |
730 |
|
731 # TODO ^C here may not result in immediate program termination. |
|
730 |
732 |
731 try: |
733 try: |
732 self._responsef.result() |
734 self._responsef.result() |
733 finally: |
735 finally: |
734 self._responseexecutor.shutdown(wait=True) |
736 self._responseexecutor.shutdown(wait=True) |