mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
opends/src/server/org/opends/server/backends/jeb/Index.java @@ -1169,6 +1169,7 @@ Cursor cursor = curLocal.get(); if(cursor != null) { cursor.close(); curLocal.remove(); } } /**