diff options
| -rw-r--r-- | modules/launch_utils.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/modules/launch_utils.py b/modules/launch_utils.py index 444f16fa..7e4d5a61 100644 --- a/modules/launch_utils.py +++ b/modules/launch_utils.py @@ -246,7 +246,7 @@ def list_extensions(settings_file): disabled_extensions = set(settings.get('disabled_extensions', []))
disable_all_extensions = settings.get('disable_all_extensions', 'none')
- if disable_all_extensions != 'none' or args.disable_extra_extensions or args.disable_all_extensions:
+ if disable_all_extensions != 'none' or args.disable_extra_extensions or args.disable_all_extensions or not os.path.isdir(extensions_dir):
return []
return [x for x in os.listdir(extensions_dir) if x not in disabled_extensions]
|