Play change RUNNING_PID file path

问题:

I am trying to store the RUNNING_PID file at /var/run instead of root directory. Tried all the options suggested at: Another SO question about the subject

and the solution play suggest in their documnetation: Play additional configuration

Yet when I start my app the RUNNING_PID file is created in root directory and the /var/run/play.pid remains empty

回答1:

Put

play.server.pidfile.path=/var/run/RUNNING_PID

in your application.conf