How to create play heroku procfile?

Question

I am following the directions here

http://blog.heroku.com/archives/2011/8/29/play/

but I do play run and then git push heroku master but a procfile is not found.

-----> No Procfile found. Will use process: 
       play run --http.port=$PORT $PLAY_OPTS

1. How do I explicitly create a procfile?
2. The instructions seem to indicate that I should push to heroku master while the app is running. Am I reading that wrong?
3. Where can I specify $PORT and $PLAY_OPTS for mydomain.herokuapp.com?
4. Is it better to just modify the values for %prod in application.conf?

Answer 1

You need to create a file named Procfile in the root of your project and for Play it should contain

web: play run --http.port=$PORT $PLAY_OPTS

When you then deploy your application the $PORT and $PLAY_OPTS will be set by heroku when the application is started.