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

Jean-Noel Rouvignac
16.23.2015 e0190b324fb92c3b82cd143d3aab1eeede951e94
opendj-server-legacy/src/main/java/org/opends/server/tools/CreateRCScript.java
@@ -187,7 +187,7 @@
    if (javaHome.isPresent())
    {
      File f = new File(javaHome.getValue());
      if (! (f.exists() && f.isDirectory()))
      if (!f.exists() || !f.isDirectory())
      {
        err.println(ERR_CREATERC_JAVA_HOME_DOESNT_EXIST.get(javaHome.getValue()));
        return 1;