Merge pull request #2466 from pobregat0/config-init-twice

don't add config options twice on repeated Init
This commit is contained in:
orignal
2026-08-10 20:26:12 -04:00
committed by GitHub
+7
View File
@@ -40,6 +40,13 @@ namespace config {
void Init()
{
// register options once, they never change; drop stored values because
// store() keeps the ones set by a previous Init
m_Options.clear();
static bool optionsRegistered = false;
if (optionsRegistered) return;
optionsRegistered = true;
options_description general("General options");
general.add_options()
("help", "Show this message")