mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 9c0285 | patch | commitdiff
mmarie
08.05.2009 a12a7a9fbe8863aaaa570cd51a78152629653052
refs
author mmarie <mmarie@localhost>
Wednesday, July 8, 2009 16:05 +0200
committer mmarie <mmarie@localhost>
Wednesday, July 8, 2009 16:05 +0200
commita12a7a9fbe8863aaaa570cd51a78152629653052
tree d3703e70a65546aa26e484bf06098d2bb32295ec tree | zip | gz
parent 9c028505791f8d4e2a62fb0b1f88704c45c076e7 view | diff 
4101 : ChangeNumberGenerator is not adjusted when restarting without preserved state

2 files modified
28 ■■■■■ changed files
opendj-sdk/opends/src/server/org/opends/server/replication/common/ChangeNumberGenerator.java 26 ●●●●● diff | view | raw | blame | history
opendj-sdk/opends/src/server/org/opends/server/replication/service/ReplicationDomain.java 2 ●●●●● diff | view | raw | blame | history