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

Jean-Noel Rouvignac
20.27.2015 de4eb42f878af464a49f2138d8428843b623deed
opendj-sdk/opendj-config/src/main/java/org/forgerock/opendj/config/dsconfig/DSConfig.java
@@ -1489,6 +1489,7 @@
                    || elem.contains(batchFileArgument.getLongIdentifier())) {
                // Remove both the batch file arg and its value
                it.remove();
                it.next();
                it.remove();
                break;
            }