diff options
Diffstat (limited to 'src/libstore/globals.cc')
| -rw-r--r-- | src/libstore/globals.cc | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/libstore/globals.cc b/src/libstore/globals.cc index 19087f657d..27d75faec2 100644 --- a/src/libstore/globals.cc +++ b/src/libstore/globals.cc @@ -118,5 +118,12 @@ unsigned int queryIntSetting(const string & name, unsigned int def) return n; } + +void reloadSettings() +{ + settingsRead = false; + settings.clear(); +} + } |