PlayFramework

play1 には status というサブコマンドがあります。 status.py, PlayStatusPlugin.java あたりのコード。 コマンドのドキュメント ( cmd-status.txt) $ play status APPDIR port がデフォルトと違う場合は port を指定 $ play status APPDIR --http.port=8080 環境ごとの設定を行ってい