From c501383eefc44d3bafa1e5fa406f459c293a09ba Mon Sep 17 00:00:00 2001 From: Milan Unger Date: Fri, 19 Jan 2024 12:18:35 +0100 Subject: [PATCH] FIX: fe-config errs if there is no context in configuration --- controller/sources/fe_config/fe_config.pl | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/controller/sources/fe_config/fe_config.pl b/controller/sources/fe_config/fe_config.pl index 7e5eac4..9ee7552 100644 --- a/controller/sources/fe_config/fe_config.pl +++ b/controller/sources/fe_config/fe_config.pl @@ -531,7 +531,10 @@ filter_by_roles(Config, UserRoles, Filtered) :- is_dict(Config), - Contexts = Config.get(contexts), + ( Contexts = Config.get(contexts) + -> true + ; Contexts = [] + ), filter_by_roles(Contexts, UserRoles, FilteredContexts), Filtered0 = Config.put(contexts, FilteredContexts), Navigations = Filtered0.get(apps),