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

Gaetan Boismal
14.24.2015 cd14d4fe7e725a724e9464550c444309747dc7be
opendj-server-legacy/src/main/java/org/opends/guitools/controlpanel/ui/IndexPanel.java
@@ -798,9 +798,9 @@
      }
    }
    private ArrayList<String> getDSConfigCommandLineArguments()
    private List<String> getDSConfigCommandLineArguments()
    {
      ArrayList<String> args = new ArrayList<String>();
      List<String> args = new ArrayList<String>();
      args.add("set-local-db-index-prop");
      args.add("--backend-name");
      args.add(backendName);