summaryrefslogtreecommitdiffstatshomepage
path: root/src/lib/util/options.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'src/lib/util/options.cpp')
-rw-r--r--src/lib/util/options.cpp4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/lib/util/options.cpp b/src/lib/util/options.cpp
index 8500eda327d..af172d7a94b 100644
--- a/src/lib/util/options.cpp
+++ b/src/lib/util/options.cpp
@@ -424,7 +424,7 @@ bool core_options::parse_command_line(std::vector<std::string> &args, int priori
// an INI file
//-------------------------------------------------
-bool core_options::parse_ini_file(util::core_file &inifile, int priority, int ignore_priority, std::string &error_string)
+bool core_options::parse_ini_file(util::core_file &inifile, int priority, bool ignore_unknown_options, std::string &error_string)
{
// loop over lines in the file
char buffer[4096];
@@ -472,7 +472,7 @@ bool core_options::parse_ini_file(util::core_file &inifile, int priority, int ig
auto curentry = m_entrymap.find(optionname);
if (curentry == m_entrymap.end())
{
- if (priority >= ignore_priority)
+ if (!ignore_unknown_options)
error_string.append(string_format("Warning: unknown option in INI: %s\n", optionname));
continue;
}