mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | patch | commit | commitdiff | ignore whitespace
Ludovic Poitou
02.07.2011 3dfb061cbafd3a97c9359f739942924a8ee525f1 
 opends/src/server/org/opends/server/util/SetupUtils.java


@@ -70,12 +70,12 @@


  /**


   * Specific environment variable used by the scripts to find java.


   */


  public static final String OPENDS_JAVA_HOME = "OPENDS_JAVA_HOME";


  public static final String OPENDJ_JAVA_HOME = "OPENDJ_JAVA_HOME";




  /**


   * Specific environment variable used by the scripts to set java arguments.


   */


  public static final String OPENDS_JAVA_ARGS = "OPENDS_JAVA_ARGS";


  public static final String OPENDJ_JAVA_ARGS = "OPENDJ_JAVA_ARGS";




  /**


   * Java property used to know which are the jar files that must be downloaded