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),