Tommy Ludwig e4230e61d7 Make the name of the log file produced by launch script configurable ... Previously, the launch script would always use a file named <appname>.log to capture the application's console output. This commit adds a variable, LOG_FILENAME, for specifying the file name defaulting to <appname>.log. Fixes gh-4194		2015-10-19 11:38:22 +01:00
..
src	Make the name of the log file produced by launch script configurable	2015-10-19 11:38:22 +01:00
pom.xml	Next development version	2015-09-16 09:00:17 -07:00