Is there a way of changing the default server port from 13019 to lets say 17000?
We have pretty strict firewall rules and we are looking of using another port that is currently open, e.g. 17000
On the server side we have done port translation with ssh and it seems to be listening on 17000 fine. However, from the client IDE, is there a way to specify a server AND a port? it seems to be trying to connect to the hardcoded 13019 all the time even tho we have tried IP:PORT
Any thoughts ?
Thanks!