diff options
| author | w-e-w <40751091+w-e-w@users.noreply.github.com> | 2024-02-09 20:39:01 +0000 |
|---|---|---|
| committer | w-e-w <40751091+w-e-w@users.noreply.github.com> | 2024-02-09 20:39:01 +0000 |
| commit | 542611cce4882b9acb885372bfbdf545e699fdfa (patch) | |
| tree | 06805ccd5f08e3c98d96d5d0264edb89545221e5 | |
| parent | d69a7944c9ad5a086d99cf9220a3a2742a1194f3 (diff) | |
| download | stable-diffusion-webui-gfx803-542611cce4882b9acb885372bfbdf545e699fdfa.tar.gz stable-diffusion-webui-gfx803-542611cce4882b9acb885372bfbdf545e699fdfa.tar.bz2 stable-diffusion-webui-gfx803-542611cce4882b9acb885372bfbdf545e699fdfa.zip | |
walk_files extensions case insensitive
| -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):
|