Play change RUNNING_PID file path
<p>I am trying to store the RUNNING_PID file at /var/run instead of root directory.
Tried all the options suggested at:
<a href="https://stackoverflow.com/questions/28351405/restarting-play-application-docker-container-results-in-this-application-is-alr">Another SO question about the subject</a></p>

<p>and the solution play suggest in their documnetation: <a href="https://www.playframework.com/documentation/2.4.x/ProductionConfiguration" rel="nofollow noreferrer">Play additional configuration</a></p>

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