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

Nicolas Capponi
29.30.2014 a06fd90c9b6bfb5f9130146373ba18e5769593b6
opendj3-server-dev/src/server/org/opends/server/tasks/SetGenerationIdTask.java
@@ -133,7 +133,7 @@
    }
    catch(DirectoryException de)
    {
      logError(de.getMessageObject());
      logger.error(de.getMessageObject());
      return TaskState.STOPPED_BY_ERROR;
    }