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

Jean-Noël Rouvignac
09.14.2015 2b341e3bc45c970d91ac7cfa6274b61f1427dc79
opendj-server-legacy/src/main/java/org/opends/server/backends/jeb/JEStorage.java
@@ -487,7 +487,7 @@
      {
        synchronized (trees)
        {
          trees.remove(treeName);
          closeSilently(trees.remove(treeName));
          env.removeDatabase(txn, toDatabaseName(treeName));
        }
      }