Merge pull request #775 from codedealer/dev

fix: regex escape characters in streamlit webui
This commit is contained in:
Thomas Mello 2022-09-07 18:28:36 +03:00 committed by GitHub
commit 3da598a522
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -450,9 +450,9 @@ prompt_parser = re.compile("""
(?: # non-capture group
:+ # match one or more ':' characters
(?P<weight> # capture group for 'weight'
-?\d+(?:\.\d+)? # match positive or negative decimal number
-?\\d+(?:\\.\\d+)? # match positive or negative decimal number
)? # end weight capture group, make optional
\s* # strip spaces after weight
\\s* # strip spaces after weight
| # OR
$ # else, if no ':' then match end of line
) # end non-capture group