def launch_gradio_demo(self, thread_id=42, share=False, server_name="0.0.0.0", require_verification=False):
"""Launch a full-featured Gradio UI for the A1 agent (adapted from codeact_copi
...
print(f"Launching Gradio demo on {server_name}:7860")
demo.launch(share=share, server_name=server_name)
gradio is launched on port 7860. Is it possible to add port as an argument of launch_gradio_demo? We would like to launch gradio on non-standard port.
...
print(f"Launching Gradio demo on {server_name}:7860")
demo.launch(share=share, server_name=server_name)
gradio is launched on port 7860. Is it possible to add port as an argument of launch_gradio_demo? We would like to launch gradio on non-standard port.