Andy Wilkinson af32d6e8ee Allow LOG_FOLDER and PID_FOLDER defaults to be set at build time ... This commit enhances the default launch script to allow the default values for LOG_FOLDER and PID_FOLDER to be set at build time. They can now be set using the logFolder and pidFolder properties respectively. Closes gh-4787		2016-02-25 12:25:41 +00:00
..
src	Allow LOG_FOLDER and PID_FOLDER defaults to be set at build time	2016-02-25 12:25:41 +00:00
pom.xml	Move master to 1.4.0.BUILD-SNAPSHOT	2016-01-24 10:45:24 -08:00