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

gbellato
31.21.2007 d78588ea83870e5468c9cc6ee8f9767085b6da98
opends/src/server/org/opends/server/replication/plugin/HistVal.java
@@ -99,8 +99,13 @@
      attrString = optionsToken[0];
    }
    else
    {
      attrString = token[0];
    }
    attrType = DirectoryServer.getSchema().getAttributeType(attrString);
    if (attrType == null)
      attrType = DirectoryServer.getDefaultAttributeType(attrString);
    cn = new ChangeNumber(token[1]);
    histKey = HistKey.decodeKey(token[2]);