Recently, I change the way of starting my app from demo.launch() to gr.mount_gradio_app. Because I need FastAPI to do url redirection for me.
I used to set these parameters when I use demo.launch.
demo.launch(
show_api=False,
show_tips=False,
share=False,
favicon_path=“…/page_logo.png”)
I wonder how to set these parameters when I switch to gr.mount_gradio_app?