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

Jean-Noel Rouvignac
17.27.2015 09231099ef1a49460ef0d04f89e02a43412c7ca6
opendj-server-legacy/src/main/java/org/opends/guitools/controlpanel/ui/VLVIndexPanel.java
@@ -934,7 +934,7 @@
      if (indexToModify.getScope() != scope)
      {
        args.add("--set");
        args.add("scope:"+scope.toString());
        args.add("scope:"+scope);
      }
      if (!indexToModify.getFilter().equals(filterValue))
      {