Merge pull request #9077 from rohitwaghchaure/fixed_patch_home_settings_for_users_develop

fix: patch home_settings_for_all_users
This commit is contained in:
mergify[bot] 2019-12-19 16:44:10 +00:00 committed by GitHub
commit 723106a08b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -25,7 +25,7 @@ def execute():
all_modules = set([m.get('name') or m.get('module_name') or m.get('label') \
for m in all_modules if m.get('category') in category_to_check])
hidden_modules = home_settings['hidden_modules']
hidden_modules = home_settings.get("hidden_modules", [])
modules_in_home_settings = set(visible_modules + hidden_modules)