mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
opends/src/server/org/opends/server/loggers/Logger.java @@ -113,5 +113,7 @@ this.publishers = config.getPublishers(); this.handler = config.getErrorHandler(); } enabled = newEnabled; } }