[server]
# The port where the server will listen for browser connections.
# Default: 8501
# port = 7860

[browser]
# Port where users should point their browsers in order to connect to the app.
# This is used to: - Set the correct URL for CORS and XSRF protection purposes. - Show the URL on the terminal - Open the browser
# Default: whatever value is set in server.port.
# serverPort = 7860