diff options
author | AUTOMATIC1111 <16777216c@gmail.com> | 2023-07-19 07:59:39 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-07-19 07:59:39 +0300 |
commit | 0a334b447ff0c41519bb9e280050736913ad9cf8 (patch) | |
tree | e27963f76b7357ff0cb7b2c3fdcb720ab64f0e50 /modules/script_loading.py | |
parent | 6094310704f4b3853bfa5d05d9c1ace58b2deee7 (diff) | |
parent | c2b975485708791b29d44d79ee1a48d3abd838b7 (diff) |
Merge branch 'dev' into allow-no-venv-install
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
|