OPENDJ-1262 NPE in ChangeNumberIndex during server startup

Jean-Noel Rouvignac

28.33.2014 9bd9cf4fc3b2cfa35286f9dfa974a0dd99254f86

1
2
3
4
user-friendly-name=Editor de registro
user-friendly-plural-name=Editores de registro
synopsis=Los editores de registro se encargan de distribuir mensajes de registro desde diferentes dispositivos de registro a un destino.
property.enabled.synopsis=Indica si el editor de registros est\u00e1 habilitado para su uso.