Method removeCursor

java/java/de/crupp/upscaledb/Database.java:405–407

Removes a cursor - used by Cursor.java

(Cursor cursor)

   * Removes a cursor - used by Cursor.java
   */
  public synchronized void removeCursor(Cursor cursor) {
    m_cursor_set.remove(cursor);
  }

  /**
   * closes all cursors of this database