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

Jean-Noël Rouvignac
29.45.2016 d79928cc7cd9a3edf6f6a4dcf213234015cd0590
opendj-server-legacy/src/main/java/org/opends/server/controls/GetEffectiveRightsRequestControl.java
@@ -120,7 +120,7 @@
            reader.readStartSequence();
            while(reader.hasNextElement()) {
              String attrStr = reader.readOctetStringAsString();
              attrs.add(DirectoryServer.getAttributeTypeOrDefault(attrStr));
              attrs.add(DirectoryServer.getAttributeType(attrStr));
            }
            reader.readEndSequence();
          }