docker changes

Dockerfile

@@ -40,14 +40,7 @@ USER user
 
 # Set home to the user's home directory
 ENV HOME=/home/user \
-	PATH=/home/user/.local/bin:$PATH \
-    PYTHONPATH=$HOME/app \
-	PYTHONUNBUFFERED=1 \
-	GRADIO_ALLOW_FLAGGING=never \
-	GRADIO_NUM_PORTS=1 \
-	GRADIO_SERVER_NAME=0.0.0.0 \
-	GRADIO_THEME=huggingface \
-	SYSTEM=spaces
+	PATH=/home/user/.local/bin:$PATH 
 
 # Set the working directory to the user's home directory
 WORKDIR $HOME/app

main_noweb.py

@@ -269,9 +269,9 @@ if __name__ == "__main__":
                 max_size=25, # Maximum number of requests that the queue processes
                 api_open = False # When creating a Gradio demo, you may want to restrict all traffic to happen through the user interface as opposed to the programmatic API that is automatically created for your Gradio demo.  
                     )  # https://www.gradio.app/guides/setting-up-a-demo-for-maximum-performance
-    block.launch(#server_name="0.0.0.0", 
+    block.launch(server_name="0.0.0.0", 
                  share=True#,
-                 #server_port=7860
+                 server_port=7860
                  )