Has anyone successfully changed port numbers?
AFAICT, just changing the port specifications in the config.sh doesn’t work, (because the ports are also recorded in the database).
@spunjani Is there anything else we need to do to change the port numbers?