def __del__(self): if self.case is not -1: pystir.closeChannel(self.channel, self.printer) if self.case == 0: pystir.deleteTextPrinter(self.printer) else: pystir.deleteTextWriter(self.printer)
def __del__(self): if self.info_case is not -1: if self.info_case == 0: pystir.deleteTextPrinter(self.info) else: pystir.deleteTextWriter(self.info) pystir.closeChannel(0, self.info) if self.warn_case is not -1: if self.warn_case == 0: pystir.deleteTextPrinter(self.warn) else: pystir.deleteTextWriter(self.warn) pystir.closeChannel(1, self.warn) if self.errr_case is not -1: if self.errr_case == 0: pystir.deleteTextPrinter(self.errr) else: pystir.deleteTextWriter(self.errr) pystir.closeChannel(2, self.errr)