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

Violette Roche-Montane
07.50.2013 2e08d2c0e9bede644be993ddaa28157c9f156c10
opends/src/server/org/opends/server/core/DirectoryServer.java
@@ -1224,6 +1224,20 @@
  public void startServer()
         throws ConfigException, InitializationException
  {
    // Checks the version - if upgrade required, cannot launch the server.
    try
    {
      BuildVersion.checkVersionMismatch();
    }
    catch (InitializationException e)
    {
      if (debugEnabled())
      {
        TRACER.debugCaught(DebugLogLevel.ERROR, e);
      }
      throw new InitializationException(e.getMessageObject());
    }
    synchronized (directoryServer)
    {
      if (! isBootstrapped)