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

boli
02.48.2007 061e0172510debb6cd8920caa717c29a10e1b233
opends/src/server/org/opends/server/api/MonitorProvider.java
@@ -38,7 +38,7 @@
import org.opends.server.types.ObjectClass;
import static
    org.opends.server.loggers.debug.DebugLogger.debugCought;
    org.opends.server.loggers.debug.DebugLogger.debugCaught;
import static
    org.opends.server.loggers.debug.DebugLogger.debugEnabled;
import org.opends.server.types.DebugLogLevel;
@@ -132,7 +132,7 @@
    {
      if (debugEnabled())
      {
        debugCought(DebugLogLevel.ERROR, e);
        debugCaught(DebugLogLevel.ERROR, e);
      }
    }
  }