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

jvergara
03.25.2008 2b85eb1c89a0af6bb76b3772c3b8c8ec00ca63b4
opendj-sdk/opends/src/quicksetup/org/opends/quicksetup/installer/InstallerHelper.java
@@ -716,9 +716,9 @@
    if (!propertiesFileModified)
    {
      writer.newLine();
      writer.write("overwrite-env-java-home=true");
      writer.write("overwrite-env-java-home=false");
      writer.newLine();
      writer.write("overwrite-env-java-args=true");
      writer.write("overwrite-env-java-args=false");
      writer.newLine();
      writer.newLine();
      writer.write("default.java-home="+javaHome);