diff options
author | MarcoFalke <falke.marco@gmail.com> | 2020-07-30 10:50:54 +0200 |
---|---|---|
committer | MarcoFalke <falke.marco@gmail.com> | 2020-08-28 11:39:26 +0200 |
commit | fa48405ef84985e5a9d38ec38e90d16596ea45b5 (patch) | |
tree | 18d9cf6e3527657df8d29d1cba2855a18e76330e /src/util | |
parent | 862fde88be706adb20a211178253636442c3ae00 (diff) |
Warn on unknown rw_settings
Diffstat (limited to 'src/util')
-rw-r--r-- | src/util/system.cpp | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/util/system.cpp b/src/util/system.cpp index 00aa53df70..3daadd7861 100644 --- a/src/util/system.cpp +++ b/src/util/system.cpp @@ -426,6 +426,14 @@ bool ArgsManager::ReadSettingsFile(std::vector<std::string>* errors) SaveErrors(read_errors, errors); return false; } + for (const auto& setting : m_settings.rw_settings) { + std::string section; + std::string key = setting.first; + (void)InterpretOption(section, key, /* value */ {}); // Split setting key into section and argname + if (!GetArgFlags('-' + key)) { + LogPrintf("Ignoring unknown rw_settings value %s\n", setting.first); + } + } return true; } |