Spaces:
Running
Running
Update app.py
Browse files
app.py
CHANGED
|
@@ -14,7 +14,7 @@ from elasticsearch_dsl import Search, Q
|
|
| 14 |
es = Elasticsearch(os.environ.get("host"), timeout=200)
|
| 15 |
def mark_tokens_bold(string, query):
|
| 16 |
if query.startswith('"') and query.endswith('"'):
|
| 17 |
-
tokens = query
|
| 18 |
else:
|
| 19 |
tokens = query.split(" ")
|
| 20 |
for token in tokens:
|
|
|
|
| 14 |
es = Elasticsearch(os.environ.get("host"), timeout=200)
|
| 15 |
def mark_tokens_bold(string, query):
|
| 16 |
if query.startswith('"') and query.endswith('"'):
|
| 17 |
+
tokens = query[1:-1]
|
| 18 |
else:
|
| 19 |
tokens = query.split(" ")
|
| 20 |
for token in tokens:
|