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

boli
02.48.2007 061e0172510debb6cd8920caa717c29a10e1b233
opends/src/server/org/opends/server/tasks/TaskUtils.java
@@ -26,7 +26,7 @@
 */
package org.opends.server.tasks;
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 static org.opends.server.config.ConfigConstants.*;
import static org.opends.server.messages.ToolMessages.*;
@@ -413,7 +413,7 @@
        {
          if (debugEnabled())
          {
            debugCought(DebugLogLevel.ERROR, e);
            debugCaught(DebugLogLevel.ERROR, e);
          }
        }
      }