mirror of
https://github.com/github/codeql.git
synced 2025-12-24 20:56:33 +01:00
25 lines
484 B
Python
25 lines
484 B
Python
|
|
#Relies on __del__ being called by the garbage collector.
|
|
class CachedPreferencesFile
|
|
|
|
...
|
|
|
|
def __del__(self):
|
|
for key, value in self.preferences.items():
|
|
self.write_pair(key, value)
|
|
self.backing.close()
|
|
|
|
|
|
#Better version
|
|
class CachedPreferencesFile
|
|
|
|
...
|
|
|
|
def close(self):
|
|
for key, value in self.preferences.items():
|
|
self.write_pair(key, value)
|
|
self.backing.close()
|
|
|
|
def __del__(self):
|
|
self.close()
|