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

jvergara
18.09.2008 8bf33f942c9509fdf72c3edadd9ff1fbffa2f10d
opendj-sdk/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;
  }
}