From f354b19cf023e8c03bc8a0eba76446d7891573d2 Mon Sep 17 00:00:00 2001 From: Markus Zolliker Date: Tue, 6 Jun 2023 16:50:48 +0200 Subject: [PATCH] frappy_psi.sea: fix extra_module_set Change-Id: If5669fdd60c8505a47414f17cfcd8534cdc2abee --- frappy_psi/sea.py | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/frappy_psi/sea.py b/frappy_psi/sea.py index 0fc78e0..5bc6276 100644 --- a/frappy_psi/sea.py +++ b/frappy_psi/sea.py @@ -505,9 +505,7 @@ class SeaModule(Module): raise ConfigError(f"{sea_object}/{paramdesc['path']} is not writable") paramdesc['key'] = 'target' paramdesc['readonly'] = False - extra_module_set = cfgdict.pop('extra_modules', ()) - if extra_module_set: - extra_module_set = set(extra_module_set.replace(',', ' ').split()) + extra_module_set = set(cfgdict.pop('extra_modules', ())) path2param = {} attributes = {'sea_object': sea_object, 'path2param': path2param}