How to change Teiid ports

[fullysane]

We have an issue on running Teiid docker server which use port 8080 as http service port, but another application service already using it. How can we change Teiid to listening at different port for http service? or how can we change any Teiid service port such as 8080, 9990, 31000, or 35432 to other available ports?

[rareddy]

Which Teiid docker image are you using? You would have to rebuild from a new Dockerfile