Merge pull request #7234 from Christian Koops
* gh-7234: Make launch script's logFilename and pidFilename configurable via properties
Showing
Please register or sign in to comment
* gh-7234: Make launch script's logFilename and pidFilename configurable via properties