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

pgamba
14.37.2009 4fe72a4bef946169b0f50bc05bd9dc3b4b1131d3
opends/src/server/org/opends/server/replication/common/ServerState.java
@@ -222,7 +222,8 @@
      {
        ChangeNumber change = list.get(key);
        Date date = new Date(change.getTime());
        set.add(change.toString() + " " + date.toString());
        set.add(change.toString() + " " + date.toString() + " "
            + change.getTime());
      }
    }