java - 「dist」でPlay2.0ポートを指定する

Question

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

生成されるものは次のとおりです。

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でこれを行うのapplication.confは非常に簡単で、一歩後退しているようです。

Answer 1

実行play distして生成されたバンドルを抽出した後、次を実行して別のポートでPlay2を起動できます。

./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