mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
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; } }