In playBinary script, it says
# Add default JVM options here. You can also use JAVA_OPTS and PLAY_BINARY_OPTS to pass JVM options to this script. DEFAULT_JVM_OPTS=""
So I added
PLAY_BINARY_OPTS="-Dhttp.port=9001", and play runs on port 9001 as expected.
However, every time I stage, the playBinary script is overwritten to default and I have to add PLAY_BINARY_OPTS manually.
Is there a way to set
PLAY_BINARY_OPTS="-Dhttp.port=9999" from build.gradle?