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

Jean-Noel Rouvignac
06.42.2015 e79461c53adce17f83f30954f8a03d67bb761a1f
opendj-server-legacy/src/main/java/org/opends/quicksetup/util/ServerController.java
@@ -148,7 +148,7 @@
      }
      logger.info(LocalizableMessage.raw("stopping server"));
      ArrayList<String> argList = new ArrayList<String>();
      ArrayList<String> argList = new ArrayList<>();
      argList.add(Utils.getScriptPath(
          Utils.getPath(installation.getServerStopCommandFile())));
      int size = argList.size();
@@ -343,7 +343,7 @@
      }
      logger.info(LocalizableMessage.raw("starting server"));
      ArrayList<String> argList = new ArrayList<String>();
      ArrayList<String> argList = new ArrayList<>();
      argList.add(Utils.getScriptPath(
          Utils.getPath(installation.getServerStartCommandFile())));
      argList.add("--timeout");