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