diff options
| author | w-e-w <40751091+w-e-w@users.noreply.github.com> | 2022-10-22 13:26:57 +0000 |
|---|---|---|
| committer | AUTOMATIC1111 <16777216c@gmail.com> | 2022-10-24 07:28:42 +0000 |
| commit | 480d8e764611d7779bf8e0245640a6b84af626f9 (patch) | |
| tree | 4ca59b36409ce564020b50853b8f1e53d3c461d8 /javascript/imageMaskFix.js | |
| parent | 37dd6deafb831a809eaf7ae8d232937a8c7998e7 (diff) | |
| download | stable-diffusion-webui-gfx803-480d8e764611d7779bf8e0245640a6b84af626f9.tar.gz stable-diffusion-webui-gfx803-480d8e764611d7779bf8e0245640a6b84af626f9.tar.bz2 stable-diffusion-webui-gfx803-480d8e764611d7779bf8e0245640a6b84af626f9.zip | |
replace "srt.replace()" in apply_filename_pattern() with equivalent re.sub()
the file_decoration passed into apply_filename_pattern() is formatted to lowercase to increase compatibility
the use of case sensitive srt.replace()
but because the newly implemented "time format" is case sensitive
the lowercasing the file_decoration will cause time format to be broken
in order to resolve this issue
I decided to replace every srt.replace() and in if "str" in x to regular expression (case insensitive) equivalent
Diffstat (limited to 'javascript/imageMaskFix.js')
0 files changed, 0 insertions, 0 deletions