Look for "server.portNumber" in the deploy.properties
Ah. There it is. My bad. Skimmed through the file like five times and still missed the line.
In a more general topic, is there any additional documentation on the deploy.properties file than what's in the file? What's there is not very descriptive.
Sorry, that is it. We want this file to be self documenting so that we do not miss any configuration and we are always up to date.
If you want to supply a patch for descriptions it will surely help us out. We felt the descriptions were good, obviously that is not the case. We do not want them to be too verbose where it makes difficult to read. If you are up to it, create JIRA and attach your patch to it.