From 388a765162e88a6c54a5c48ef246188b407a4289 Mon Sep 17 00:00:00 2001
From: Thomas Mello <work.mello@gmail.com>
Date: Wed, 7 Sep 2022 18:05:16 +0300
Subject: [PATCH] fix: regex escape characters

---
 scripts/webui_streamlit.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/webui_streamlit.py b/scripts/webui_streamlit.py
index 13eeae1..44a76e6 100644
--- a/scripts/webui_streamlit.py
+++ b/scripts/webui_streamlit.py
@@ -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