Fixing a bug introduced by this PR. It will be probably irrelevant after merging this PR, but we should fix this meanwhile.
How should this be tested?
configure setting.xml (for instance VIVO/installer/example-settings.xml) to point to an empty VIVO_HOME directory
<vivo-dir>/opt/VIVO/home1111</vivo-dir>
VIVO GitHub issue: 3855
What does this pull request do?
Fixing a bug introduced by this PR. It will be probably irrelevant after merging this PR, but we should fix this meanwhile.
How should this be tested?
configure setting.xml (for instance VIVO/installer/example-settings.xml) to point to an empty VIVO_HOME directory
<vivo-dir>/opt/VIVO/home1111</vivo-dir>
mvn clean install -s installer/example-settings.xml
it should be successfully completed
Interested parties
Tag (@ mention) interested parties or, if unsure, @VIVO-project/vivo-committers