From 38389829d4f02f8a31d5275d65345f5c6045b151 Mon Sep 17 00:00:00 2001 From: Karl-Hermann Wieners <karl-hermann.wieners@mpimet.mpg.de> Date: Tue, 14 Jan 2025 13:57:26 +0100 Subject: [PATCH] Config: unify handling of config data after merge --- expconfig.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/expconfig.py b/expconfig.py index ebe000e..24f6297 100644 --- a/expconfig.py +++ b/expconfig.py @@ -544,6 +544,7 @@ class ExpConfig(ConfigObj): if lib_config_name: pre_config.merge(ConfigObj(lib_config_name)) split_shared_sections(pre_config) + list_assign(pre_config) register_version(pre_config, config_versions) if setup_config_name: @@ -582,6 +583,7 @@ class ExpConfig(ConfigObj): environment+'.config') if lib_config_name: pre_config.merge(ConfigObj(lib_config_name)) + split_shared_sections(pre_config) list_assign(pre_config) register_version(pre_config, config_versions) -- GitLab