diff options
| author | AUTOMATIC1111 <16777216c@gmail.com> | 2024-02-11 08:29:05 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-11 08:29:05 +0300 |
| commit | 860534399ba3069162669515ef36aa592eafa5d2 (patch) | |
| tree | c539e289e6a4d2dce3be653dc371409ea51c063d /modules | |
| parent | 4d46f8c25c5665df7a7655b2486056cb1b37c7b0 (diff) | |
| parent | 542611cce4882b9acb885372bfbdf545e699fdfa (diff) | |
Merge pull request #14879 from AUTOMATIC1111/walk_files-extensions-case-insensitive
util.walk_files extensions case insensitive
Diffstat (limited to 'modules')
| -rw-r--r-- | modules/util.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/modules/util.py b/modules/util.py index ee373e92..8d1aea44 100644 --- a/modules/util.py +++ b/modules/util.py @@ -42,7 +42,7 @@ def walk_files(path, allowed_extensions=None): for filename in sorted(files, key=natural_sort_key):
if allowed_extensions is not None:
_, ext = os.path.splitext(filename)
- if ext not in allowed_extensions:
+ if ext.lower() not in allowed_extensions:
continue
if not shared.opts.list_hidden_files and ("/." in root or "\\." in root):
|