#4220 weakref to file

This commit is contained in:
Thomas Krijnen
2024-01-16 09:44:04 +01:00
committed by GitHub
parent 860ff4e513
commit b57b7080fd
+6 -2
View File
@@ -252,7 +252,11 @@ class file(object):
self.future = []
self.transaction = None
file_dict[self.file_pointer()] = self
import weakref
file_dict[self.file_pointer()] = weakref.ref(self)
def __del__(self):
del file_dict[self.file_pointer()]
def set_history_size(self, size):
self.history_size = size
@@ -574,4 +578,4 @@ class file(object):
@staticmethod
def from_pointer(v):
return file_dict.get(v)
return file_dict.get(v)()