increase timeout

app.py

@@ -136,7 +136,6 @@ def format_result(result, highlight_terms, exact_search, datasets_filter=None):
 def format_result_page(
     language, results, highlight_terms, num_results, exact_search, datasets_filter=None
 ) -> gr.HTML:
-
     filtered_num_results = 0
     header_html = ""
 
@@ -245,12 +244,16 @@ def request_payload(query, language, exact_search, num_results=10, received_resu
     post_data = {"query": query, "k": num_results, "received_results": received_results}
     if language != "detect_language":
         post_data["lang"] = language
-    address = "http://34.105.160.81:8080" if exact_search else os.environ.get("address")
+    address = (
+        os.environ.get("address_exact_search")
+        if exact_search
+        else os.environ.get("address")
+    )
     output = requests.post(
         address,
         headers={"Content-type": "application/json"},
         data=json.dumps(post_data),
-        timeout=60,
+        timeout=120,
     )
     payload = json.loads(output.text)
     return payload