Update app.py

app.py

@@ -13,10 +13,6 @@ from elasticsearch_dsl import Search, Q
 # es = Elasticsearch(os.environ.get("host"), timeout=100, http_compress=True, maxsize=1000)
 es = Elasticsearch(os.environ.get("host"), http_compress=True, timeout=200)
 def mark_tokens_bold(text, tokens):
-    # if query.startswith('"') and query.endswith('"'):
-    #     tokens = query[1:-1]
-    # else:
-    #     tokens = query.split(" ")
     for token in tokens:
         if token in ["<", "b", "/", ">"]:
             continue
@@ -32,10 +28,10 @@ def process_results(results, query):
     results_html = ""
     for result in results:
         text_html = result["text"]
-        # if query.startswith('"') and query.endswith('"'):
-        #     text_html = mark_tokens_bold(text_html, query[1:-1].split(" "))
-        # else:
-        #     text_html = mark_tokens_bold(text_html, query.split(" "))
+        if query.startswith('"') and query.endswith('"'):
+            text_html = mark_tokens_bold(text_html, query[1:-1].split(" "))
+        else:
+            text_html = mark_tokens_bold(text_html, query.split(" "))
         repository = result["repository"]
         path = result["path"]
         license = result["license"]