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

gbellato
05.36.2007 8d3bc0c156b478950741452a4b518c5659b26ae8
opends/src/server/org/opends/server/replication/server/ReplicationServer.java
@@ -424,19 +424,18 @@
    shutdown = true;
    // shutdown the connect thread
    try
    if (myConnectThread != null)
    {
      myConnectThread.interrupt();
    } catch (NullPointerException e)
    {
      // FIXME To be investigated the conditions
      // where myConnectThread can be null here
    }
    // shutdown the listener thread
    try
    {
      listenSocket.close();
      if (listenSocket != null)
      {
        listenSocket.close();
      }
    } catch (IOException e)
    {
      // replication Server service is closing anyway.
@@ -448,7 +447,10 @@
      replicationCache.shutdown();
    }
    dbEnv.shutdown();
    if (dbEnv != null)
    {
      dbEnv.shutdown();
    }
    DirectoryServer.deregisterMonitorProvider(getMonitorInstanceName());
  }