diff options
author | Kae <80987908+Novaenia@users.noreply.github.com> | 2023-07-05 21:31:36 +1000 |
---|---|---|
committer | Kae <80987908+Novaenia@users.noreply.github.com> | 2023-07-05 21:31:36 +1000 |
commit | 58678bfe9dfd761681a1459fae37147e6c78ab46 (patch) | |
tree | 606ba903d23da676c1c37224ff5a2ba73240c05f /source/base/StarConfiguration.hpp | |
parent | 54dfd900cab72d9efeff7df35c3a73e9be76bb18 (diff) |
Attempt to fix rare crash writing configuration
Diffstat (limited to 'source/base/StarConfiguration.hpp')
-rw-r--r-- | source/base/StarConfiguration.hpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/source/base/StarConfiguration.hpp b/source/base/StarConfiguration.hpp index 53e0e7b..7e200c0 100644 --- a/source/base/StarConfiguration.hpp +++ b/source/base/StarConfiguration.hpp @@ -17,6 +17,7 @@ public: Json defaultConfiguration() const; Json currentConfiguration() const; + String printConfiguration() const; Json get(String const& key) const; Json getPath(String const& path) const; |