Specificare la porta Play 2.0 con "dist"

Question

Sto creando un progetto impacchettato usando dist e sto provando a modificare lo script start generato per eseguire l'app sulla porta 9001.

Ecco ciò che è generato:

exec java $* -cp "`dirname $0`/lib/*" play.core.server.NettyServer `dirname $0` 

Ecco quello che ho provato, che non sembra funzionare.

exec java $* -Dhttp.port=9001 -cp "`dirname $0`/lib/*" play.core.server.NettyServer `dirname $0` 

Qualche idea?

Ho anche provato a specificare http.port=9001 in application.conf senza alcun risultato. Era molto facile fare questo in Play 1.2.X, sembra un passo indietro.

Answer 1

Dopo aver eseguito play dist e quindi estrarre il fascio generato, è possibile avviare la riproduzione 2 su una porta diversa eseguendo:

./start -Dhttp.port=5432 

O se si preferisce modificare lo script start è possibile aggiornare per essere:

#!/usr/bin/env sh 

exec java $* -Dhttp.port=5432 -cp "`dirname $0`/lib/*" play.core.server.NettyServer `dirname $0` 

e quindi eseguire:

./start