Hi,
I just wanted to confirm if I'm setting this in the right place.
I want to change the default SQL BI port from 5806 to 3306.
sql.server.enabled=true # enables Stardog BI Server
sql.server.port=3306 # changes BI port from default 5806 to MySQL default port 3306.
sql.schema.auto=false # disable automatic generation of mapping. To be done manually.
It's an instance of Stardog in a Docker container. Forwarding port 5806 works, but not for 3306.