Set SDK version to 4.20.0 on huggingface. Added GRADIO_SERVER_PORT to Dockerfile

Dockerfile

@@ -34,6 +34,7 @@ ENV HOME=/home/user \
 	GRADIO_ALLOW_FLAGGING=never \
 	GRADIO_NUM_PORTS=1 \
 	GRADIO_SERVER_NAME=0.0.0.0 \
+	GRADIO_SERVER_PORT=7860 \
 	GRADIO_THEME=huggingface \
 	GRADIO_ROOT_PATH=/data-text-search \
 	SYSTEM=spaces

README.md

@@ -4,7 +4,7 @@ emoji: 🔍
 colorFrom: purple
 colorTo: green
 sdk: gradio
-sdk_version: 4.16.0
+sdk_version: 4.20.0
 app_file: app.py
 pinned: false
 license: apache-2.0

app.py

@@ -196,10 +196,9 @@ depends on factors such as the type of documents or queries. Information taken f
 # Simple run for HF spaces or local on your computer
 #block.queue().launch(debug=True) 
 
-# Running on local server without specifying port
-block.queue().launch(server_name="0.0.0.0", root_path="/data-text-search") # 
+# Running on server (e.g. AWS) without specifying port
+block.queue().launch() # root_path="/data-text-search" # server_name="0.0.0.0", 
 
-#app = gr.mount_gradio_app(app, block, path="/data_text_search")
 
 # Running on local server without https
 #block.queue().launch(server_name="0.0.0.0", server_port=7861, ssl_verify=False)