Spaces:
Running
Running
Update app.py
Browse files
app.py
CHANGED
@@ -18,6 +18,8 @@ def mark_tokens_bold(text, tokens):
|
|
18 |
# else:
|
19 |
# tokens = query.split(" ")
|
20 |
for token in tokens:
|
|
|
|
|
21 |
pattern = re.escape(token) #r"\b" + re.escape(token) + r"\b"
|
22 |
text = re.sub(pattern, "<b>" + token + "</b>", text)
|
23 |
return text
|
|
|
18 |
# else:
|
19 |
# tokens = query.split(" ")
|
20 |
for token in tokens:
|
21 |
+
if token in ["<", "b", "/", ">"]:
|
22 |
+
continue
|
23 |
pattern = re.escape(token) #r"\b" + re.escape(token) + r"\b"
|
24 |
text = re.sub(pattern, "<b>" + token + "</b>", text)
|
25 |
return text
|