mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
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)); } }