I development, I might run a server in the background (independent of IDE), and then start another one in Developer Studio. It seems that Developer Studio always deploys to the server it finds at port 11311, not to the server it started.
I've tried various ways to configure the port, e.g. portal-ext.properties (also unchecking developer mode to avoid my changes to be overwritten again), but apparently DevStudio doesn't take the server's configuration into account.
While parsing the configuration might be hard work, I'd like to ask for a Gogo-Shell port configuration in the server, so that multiple servers can run on a developer machine. It took me a while to figure out why my edits didn't have an effect on the DevStudio-started server.
Looking at the liferay-ide source, it seems that GogoBundleDeployer is well prepared to be configurable, but (just with grep - I didn't go deep) I didn't find any use that actually parameterized the port - all uses were either relying on the default constructor or explicitly configured it with 11311.