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

dugan
29.11.2008 9e8175617335e8cb31bcab696532e4af60d45226
opendj-sdk/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();
    }
  }
  /**