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

jvergara
26.13.2007 e7934050009ce7e6f43e2ce7d56c827a23ac287e
opends/src/quicksetup/org/opends/quicksetup/uninstaller/Uninstaller.java
@@ -636,10 +636,12 @@
    if (Utils.isWindows())
    {
      argList.add(Utils.getPath(getBinariesPath(), "stop-ds.bat"));
      argList.add(Utils.getPath(getBinariesPath(),
              Utils.getWindowsStopFileName()));
    } else
    {
      argList.add(Utils.getPath(getBinariesPath(), "stop-ds"));
      argList.add(Utils.getPath(getBinariesPath(),
              Utils.getUnixStopFileName()));
    }
    String[] args = new String[argList.size()];
    argList.toArray(args);