Как указать, какой порт для Play https должен быть запущен? В Play 1.2.4 я бы добавил в application.conf:
https.port=9443
Но Play 2.0, похоже, больше не поддерживает это. Кроме того, этот синтаксис явно не работает:
play start -Dhttps.port=9443
хотя этот способ работает для обычного http: play start 9100
Кто-нибудь знает, как это сделать для https?