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

jvergara
18.09.2008 6b654d23b0b1d0e5151941aece4658b5e6e8f50f
opends/src/guitools/org/opends/guitools/controlpanel/task/DeleteIndexTask.java
@@ -411,6 +411,7 @@
    args.addAll(getConnectionCommandLineArguments());
    args.add("--no-prompt");
    args.add(getNoPropertiesFileArgument());
    return args;
  }
}