播放更改RUNNING_PID文件路径 [英] Play change RUNNING_PID file path

问题描述

我正在尝试将RUNNING_PID文件存储在/ var / run而不是根目录。
尝试所有建议的选项：
关于这个主题的另一个SO问题

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

然而，当我启动我的应用程序RUNNING_PID文件在根目录中创建，并且/var/run/play.pid保持为空

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

推荐答案

将

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

$您的 application.conf中的
$ b

这篇关于播放更改RUNNING_PID文件路径的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！