def close(self):
        if not self.closed:
            try:
                self.flush()
            except __HOLE__:
                pass  # If flush() fails, just give up
            self.raw.close()

    ### Inquiries ###
dataset/ETHPy150Open deanhiller/databus/webapp/play1.3.x/python/Lib/io.py/_BufferedIOMixin.close