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

boli
02.48.2007 061e0172510debb6cd8920caa717c29a10e1b233
opends/src/server/org/opends/server/plugins/profiler/ProfileStack.java
@@ -33,7 +33,7 @@
import org.opends.server.protocols.asn1.ASN1OctetString;
import org.opends.server.protocols.asn1.ASN1Sequence;
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;
@@ -291,7 +291,7 @@
    {
      if (debugEnabled())
      {
        debugCought(DebugLogLevel.ERROR, e);
        debugCaught(DebugLogLevel.ERROR, e);
      }
      return false;
@@ -357,7 +357,7 @@
    {
      if (debugEnabled())
      {
        debugCought(DebugLogLevel.ERROR, e);
        debugCaught(DebugLogLevel.ERROR, e);
      }
      return null;