mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

lutoff
18.14.2008 d42b15e420478dc45785fff6e00b863cc1f8a0f9
opends/src/server/org/opends/server/util/ServerConstants.java
@@ -2740,6 +2740,12 @@
  public static final String PROPERTY_SERVER_ROOT =
       "org.opends.server.ServerRoot";
  /**
   * The name of the system property that can be used to specify the path to the
   * instance root.
   */
  public static final String PROPERTY_INSTANCE_ROOT =
       "org.opends.server.InstanceRoot";
  /**