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

boli
20.39.2007 540304eeec51e9279675e2f3028d044f958f11a0
opends/src/server/org/opends/server/loggers/Logger.java
@@ -113,5 +113,7 @@
      this.publishers = config.getPublishers();
      this.handler = config.getErrorHandler();
    }
    enabled = newEnabled;
  }
}