playframework/Play20 — pull request #311 by blockmar (2012-05-15 08:18:04+00:00)
Title: Configurable pid-file location

Added support for setting the pid-file location. (Using a system propertie)

Do we want it this way or do we want a possibility to name the the file like:

-Dpidfile.path=/tmp

or

-Dpidfile=/tmp/mypid

I implemented the -Dpidfile.path=/tmp solution.