mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | patch | commit | commitdiff | ignore whitespace
jvergara
07.43.2009 b471bc6b9f2a087e8bb8e3adc6e5d1b32e80db8d 
 opends/src/guitools/org/opends/guitools/controlpanel/ui/JavaPropertiesPanel.java


@@ -818,7 +818,7 @@


            Set<String> notWorkingArgs = new HashSet<String>();




            String installPath = getInfo().getServerDescriptor().


            getInstallPath().getAbsolutePath();


            getInstallPath();


            if (!Utils.supportsOption("", jvm, installPath))


            {


              if (jvm == userJVM && !useSpecifiedJavaHome.isSelected())


@@ -1014,7 +1014,7 @@


  private String getPropertiesFile()


  {


    String installPath = getInfo().getServerDescriptor().


      getInstancePath().getAbsolutePath();


      getInstancePath();


    String propertiesFile =  Utils.getPath(


      Utilities.getInstanceRootDirectory(installPath).getAbsolutePath(),


      Installation.RELATIVE_JAVA_PROPERTIES_FILE);