mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | patch | commit | commitdiff | ignore whitespace
chebrard
29.39.2008 43ba6d721185f9a810761720fcb05103b31d17b7 
 opends/src/guitools/org/opends/guitools/controlpanel/ui/JavaPropertiesPanel.java


@@ -761,11 +761,11 @@


   */


  private String getPropertiesFile()


  {


    String configDir = Utils.getPath(


        getInfo().getServerDescriptor().getInstallPath().getAbsolutePath(),


        Installation.CONFIG_PATH_RELATIVE);


    String propertiesFile = Utils.getPath(


        configDir, Installation.DEFAULT_JAVA_PROPERTIES_FILE);


    String installPath = getInfo().getServerDescriptor().


      getInstallPath().getAbsolutePath();


    String propertiesFile =  Utils.getPath(


      Utilities.getInstanceRootDirectory(installPath).getAbsolutePath(),


      Installation.RELATIVE_JAVA_PROPERTIES_FILE);


    return propertiesFile;


  }