How to set frame ID in deployed Heroku game! expression

Question

My question is simple. I want to set the game id "id" in my deployed copy of the hero, different from the one I have locally.

To do this, I followed this help page by running the 'heroku run play id' from my local computer. However, this did not work, as if I had run the same command again, it would tell me that the identifier is still empty.

So, I did a little research on StackOverflow and got this page in which I understand, according to the answer, that I can do this by changing the PLAY_OPTS variable, but I really don't understand ... So if someone could explain this to me, I would be very grateful!

Thank you very much in advance,

Pepillo

Answer 1

You can see the PLAY_OPTS environment PLAY_OPTS with:

 heroku config 

What should include:

 PLAY_OPTS => --%prod -Dprecompiled=true 

You can change this as follows:

 heroku config:add PLAY_OPTS="--%foo -Dprecompiled=true" 

But you will need to make sure that you also tell Play Play so that it does not try to listen on the jpda port, or it does not start on Heroku.

Answer 2

Edit the Heroku configuration (heroku configuration) and add PLAY_OPTS to your liking.

 heroku config:add PLAY_OPTS="--%prod -Dprecompiled=true" 

After that, just change your Procfile to something like:

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