diff options
| author | AUTOMATIC1111 <16777216c@gmail.com> | 2023-08-04 08:05:21 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-04 08:05:21 +0300 |
| commit | 56c3f94ba30d76bf680db9bc765624b9a143d769 (patch) | |
| tree | 6924fc635fe13fe59911a285313308be2d9acdc7 /modules/script_loading.py | |
| parent | 952effa8b10dba2f2f7f2cf4191f987e3666e9f0 (diff) | |
| parent | 073c0ebba380acbd73be8262feba41212165ff84 (diff) | |
Merge branch 'dev' into dev
Diffstat (limited to 'modules/script_loading.py')
| -rw-r--r-- | modules/script_loading.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/modules/script_loading.py b/modules/script_loading.py index 306a1f35..0d55f193 100644 --- a/modules/script_loading.py +++ b/modules/script_loading.py @@ -12,11 +12,12 @@ def load_module(path): return module
-def preload_extensions(extensions_dir, parser):
+def preload_extensions(extensions_dir, parser, extension_list=None):
if not os.path.isdir(extensions_dir):
return
- for dirname in sorted(os.listdir(extensions_dir)):
+ extensions = extension_list if extension_list is not None else os.listdir(extensions_dir)
+ for dirname in sorted(extensions):
preload_script = os.path.join(extensions_dir, dirname, "preload.py")
if not os.path.isfile(preload_script):
continue
|