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

gbellato
27.34.2009 a733cedcf54ab0b979f7f1b762d086e49bd59d72
opends/src/server/org/opends/server/replication/server/DbHandler.java
@@ -321,9 +321,9 @@
    }
    shutdown  = true;
    synchronized (this)
    synchronized (msgQueue)
    {
      this.notifyAll();
      msgQueue.notifyAll();
    }
    synchronized (this)