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

boli
02.48.2007 061e0172510debb6cd8920caa717c29a10e1b233
opends/src/server/org/opends/server/core/ExtendedOperation.java
@@ -52,7 +52,7 @@
import static org.opends.server.core.CoreConstants.*;
import static org.opends.server.loggers.Access.*;
import static org.opends.server.loggers.debug.DebugLogger.debugCought;
import static org.opends.server.loggers.debug.DebugLogger.debugCaught;
import static org.opends.server.loggers.debug.DebugLogger.debugEnabled;
import org.opends.server.types.DebugLogLevel;
import static org.opends.server.messages.CoreMessages.*;
@@ -708,7 +708,7 @@
      {
        if (debugEnabled())
        {
          debugCought(DebugLogLevel.ERROR, e);
          debugCaught(DebugLogLevel.ERROR, e);
        }
      }