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

boli
08.38.2007 04dfafe19f0d3687d0f0b3e51d2d5bf3d19b58bf
opends/src/server/org/opends/server/loggers/TextLogPublisher.java
@@ -56,7 +56,8 @@
   * @param record the log record to publish.
   * @param handler the error handler to use if an error occurs.
   */
  public void publish(LogRecord record, LogErrorHandler handler)
  public synchronized void publish(LogRecord record,
                                   LoggerErrorHandler handler)
  {
    try
    {