def __del__(self, is_shutting_down=util.is_shutting_down): if is_shutting_down(): return if self.ptr: nvrtc.destroyProgram(self.ptr)
def __del__(self): if self.ptr: nvrtc.destroyProgram(self.ptr)