diff options
| author | Philipp Hörist <philipp@hoerist.com> | 2022-11-02 00:09:20 +0300 |
|---|---|---|
| committer | Philipp Hörist <philipp@hoerist.com> | 2022-12-11 16:13:55 +0300 |
| commit | 1d2fa904783d6493957311c8a3e0b4dc970ceb8b (patch) | |
| tree | 0342b08e7b6799ca52b69f75dd5d92b9adf090f2 | |
| parent | 17076ced76f1fc1cbdbf96031941190a9f538f05 (diff) | |
new: Settings: Add shutdown() method
| -rw-r--r-- | gajim/common/application.py | 1 | ||||
| -rw-r--r-- | gajim/common/settings.py | 9 |
2 files changed, 10 insertions, 0 deletions
diff --git a/gajim/common/application.py b/gajim/common/application.py index 570b806e5..c6df692df 100644 --- a/gajim/common/application.py +++ b/gajim/common/application.py @@ -244,6 +244,7 @@ class CoreApplication(ged.EventHelper): app.storage.archive.cleanup_chat_history() app.storage.cache.shutdown() app.storage.archive.shutdown() + app.settings.shutdown() self.end_profiling() logind.shutdown() diff --git a/gajim/common/settings.py b/gajim/common/settings.py index 343e32216..d3dac2fde 100644 --- a/gajim/common/settings.py +++ b/gajim/common/settings.py @@ -1343,6 +1343,15 @@ class Settings: del self._settings['workspaces'][id_] self._commit_settings('workspaces') + def shutdown(self) -> None: + if self._commit_scheduled is not None: + GLib.source_remove(self._commit_scheduled) + self._commit_scheduled = None + + self._commit() + self._con.close() + del self._con + class LegacyConfig: |