diff options
| author | w-e-w <40751091+w-e-w@users.noreply.github.com> | 2024-02-10 05:39:01 +0900 |
|---|---|---|
| committer | w-e-w <40751091+w-e-w@users.noreply.github.com> | 2024-02-10 05:39:01 +0900 |
| commit | 542611cce4882b9acb885372bfbdf545e699fdfa (patch) | |
| tree | 06805ccd5f08e3c98d96d5d0264edb89545221e5 /modules | |
| parent | d69a7944c9ad5a086d99cf9220a3a2742a1194f3 (diff) | |
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):
|