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

jvergara
26.13.2007 c0e776c195406d5bd83fdd683ac73c56fcc8a93f
opendj-sdk/opends/src/statuspanel/org/opends/statuspanel/StatusPanelController.java
@@ -658,10 +658,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);