mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: c331905b | patch | commit | ignore whitespace
Jean-Noel Rouvignac
09.27.2015 ff15a236972e647bed0f29a04d43dc4bf2ac3b9a 
Fixed build failure
1 files modified
5 ■■■■■ changed files
opendj-server-legacy/src/main/java/org/opends/guitools/controlpanel/util/Utilities.java 5 ●●●●● patch | view | raw | blame | history 
 opendj-server-legacy/src/main/java/org/opends/guitools/controlpanel/util/Utilities.java


@@ -1831,9 +1831,12 @@




  /**


   * Returns the server root directory (the path where the server is installed).


   * <p>


   * Note: this method is called by SNMP code.


   *


   * @return the server root directory (the path where the server is installed).


   */


  static File getServerRootDirectory()


  public static File getServerRootDirectory()


  {


    if (rootDirectory == null)


    {