docker changes

Dockerfile

@@ -40,12 +40,19 @@ USER user
 
 # Set home to the user's home directory
 ENV HOME=/home/user \
-	PATH=/home/user/.local/bin:$PATH 
+	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
 
 # Set the working directory to the user's home directory
 WORKDIR $HOME/app
 
 # Copy the current directory contents into the container at $HOME/app setting the owner to the user
-COPY --chown=user . $HOME/app
+COPY --chown=user . $HOME/app 
 
 CMD ["python3", "main_noweb.py"]

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", 
-                 share=True,#,
-                 server_port=7860
+    block.launch(#server_name="0.0.0.0", 
+                 #share=True,#,
+                 #server_port=7860
                  )