tree c526a78a99222e3b40610407d5ef33fc6268e9a1
parent 7b26b0318588fb05726f03e8bf9f95ea7d185c53
author Till Westmann <tillw@apache.org> 1542522915 -0800
committer Till Westmann <tillw@apache.org> 1542821890 -0800

[NO ISSUE][HYR][CONF] Fix default/description for DEFAULT_DIR

- user model changes: no
- storage format changes: no
- interface changes: no

Details:
- Flip description and default value for
  ControllerConfig.Option.DEFAULT_DIR
- use FileUtil.joinPath to join paths

Change-Id: I055a4d8188ee5b553aecb11c16d0b150d9797353
Reviewed-on: https://asterix-gerrit.ics.uci.edu/3035
Sonar-Qube: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Integration-Tests: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Contrib: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Reviewed-by: Michael Blow <mblow@apache.org>