Menu

#186 Allow for customization of "org.protege.plugin.dir"

accepted
1
2018-08-17
2018-08-16
Mike Ati
No

Hi,
we are working with Prof. Paulo Costa and encountered a problem.
In /unbbayes.gui.mebn.ontology.protege/src/main/java/unbbayes/prs/mebn/ontology/protege/ProtegeBundleLauncher.java,
we would like to set the plugin directory from which the protege jars are loaded.

Line 299 overwrites the system property used to specify this location.

Can you change the code so that it checks whether the property is already set externally, and only overwrite it if it is not set ?

We need this functionality to allow us to point to different plugin directories.

Discussion

  • Shou Matsumoto

    Shou Matsumoto - 2018-08-17
    • labels: --> PR-OWL 2, Protégé
    • assigned_to: cardialfly
    • Group: unbbayes-4.0.0 --> UnBBayes Plugin Architecture
     

Log in to post a comment.

MongoDB Logo MongoDB