Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

No VIVO_HOME/rdf directory #3855

Closed
chenejac opened this issue Mar 30, 2023 · 0 comments · Fixed by #3861
Closed

No VIVO_HOME/rdf directory #3855

chenejac opened this issue Mar 30, 2023 · 0 comments · Fixed by #3861

Comments

@chenejac
Copy link
Contributor

Describe the bug
The bug is introduced by this PR. It will be probably irrelevant after merging this PR, but we should fix this meanwhile. If VIVO_HOME is empty,

                                     <delete includeemptydirs="true">
                                            <fileset dir="${vivo-dir}/rdf">
                                                <include name="**/*"/>
                                                <exclude name="**/i18n/*_x_*/**"/>
                                            </fileset>
                                        </delete>

is throwing exception (no rdf directory)

To Reproduce

  1. 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>
  2. mvn clean install -s installer/example-settings.xml
  3. See error

Expected behavior
It should also work when VIVO_HOME is empty (installation for the first time).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant