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

dugan
29.11.2008 751ccf12aeb8a6bc7d6aadf0397ff4bf0f597b58
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();
    }
  }
  /**