def __del__(self): # how to be handled when using with if self._ext_handle: pykd.removeExt(self._ext_handle) pass
def __exit__(self, type, value, traceback): pykd.removeExt(self._ext_handle) self._ext_handle = 0