"dist"でPlay 2.0ポートを指定する

Question

distを使用してパッケージプロジェクトを作成していて、生成されたstartスクリプトを変更してポート9001でアプリを実行しようとしています。ここで

が生成されたものである：ここでは

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

が動作するようには思えない、私が試したものです。

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

にはhttp.port=9001を指定してみましたが、役に立たなくなりました。これは、Play 1.2.Xでこれを行うために非常に簡単なでした、一歩後退しているようです。

Answer 1

play distを実行して、生成されたバンドルを抽出した後、あなたが実行することにより、別のポートでプレイ2を起動することができます。

./start -Dhttp.port=5432 

それとも、むしろあなたがするそれを更新することができstartスクリプトを編集するかのは：

#!/usr/bin/env sh 

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

そして実行します。

./start