Add request timeout

app.py

@@ -21,7 +21,12 @@ def process(query_type, corpus_desc, engine_desc, query, maxnum, request: gr.Req
     print(json.dumps(data))
     if API_URL is None:
         raise ValueError(f'API_URL envvar is not set!')
-    response = requests.post(API_URL, json=data)
+    try:
+        response = requests.post(API_URL, json=data, timeout=10)
+    except requests.exceptions.Timeout:
+        raise ValueError('Web request timed out. Please try again later.')
+    except requests.exceptions.RequestException as e:
+        raise ValueError(f'Web request error: {e}')
     if response.status_code == 200:
         result = response.json()
     else: