(self)
| 807 | self.raw.flush() |
| 808 | |
| 809 | def close(self): |
| 810 | if self.raw is not None and not self.closed: |
| 811 | try: |
| 812 | # may raise BlockingIOError or BrokenPipeError etc |
| 813 | self.flush() |
| 814 | finally: |
| 815 | self.raw.close() |
| 816 | |
| 817 | def detach(self): |
| 818 | if self.raw is None: |