attempts at better dropping procedure for buffers

This commit is contained in:
cschen 2025-02-16 18:31:51 +01:00
parent 19bbc9c646
commit b66f85caf7

View file

@ -80,7 +80,9 @@ class BufferManager():
def __del__(self):
logger.debug(f"dropping buffer {self.id}")
self.view.close()
self.handle.clear_callback()
self.handle = None
def __hash__(self):
return hash(self.id)
@ -170,7 +172,7 @@ class BufferRegistry():
bf = self.lookupId(bf)
del self._buffers[bf]
bf.view.close()
buffers = BufferRegistry()