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

jvergara
16.41.2007 f8372f9b8f798114d0b4fa896abeac187c074480
opends/src/guitools/org/opends/guitools/statuspanel/StatusPanelController.java
@@ -560,7 +560,8 @@
    ArrayList<String> argList = new ArrayList<String>();
    Installation installation = Installation.getLocal();
    argList.add(Utils.getPath(installation.getServerStartCommandFile()));
    argList.add(Utils.getScriptPath(
        Utils.getPath(installation.getServerStartCommandFile())));
    String[] args = new String[argList.size()];
    argList.toArray(args);
@@ -674,7 +675,8 @@
    ArrayList<String> argList = new ArrayList<String>();
    Installation installation = Installation.getLocal();
    argList.add(Utils.getPath(installation.getServerStopCommandFile()));
    argList.add(Utils.getScriptPath(
        Utils.getPath(installation.getServerStopCommandFile())));
    String[] args = new String[argList.size()];
    argList.toArray(args);
    ProcessBuilder pb = new ProcessBuilder(args);