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

fguigues
25.51.2009 63b53f9d61ffc22573167ad786fd4a8817d41008
opends/src/quicksetup/org/opends/quicksetup/LicenseFile.java
@@ -64,11 +64,8 @@
    }
    else
    {
      // NOTE: make a whole reference to the package of DirectoryServer
      // instead of using an import clause.  Using an import breaks the
      // Java Web Start installer.
      String installRootFromSystem =
        org.opends.server.core.DirectoryServer.getServerRoot();
      String installRootFromSystem = System.getProperty("INSTALL_ROOT");
      if (installRootFromSystem == null) {
        installRootFromSystem = System.getenv("INSTALL_ROOT");