OPENDJ-2182 CR-7793 Change number indexer prevent server from shutting down

Fabio Pistolesi

31.35.2015 87c9fb691b7b976d2c8aa072afb531de08780cab

1
2
3
4
user-friendly-name=Log Publisher
user-friendly-plural-name=Log Publishers
synopsis=Log Publishers are responsible for distributing log messages from different loggers to a destination.
property.enabled.synopsis=Indicates whether the Log Publisher is enabled for use.