15.15.7. Cleaning up with index_end()
The
index_end()
function is a counterpart to the
index_init() function. The purpose of the
index_end() function is to clean up any
preparations made by the index_init()
function.
If a storage engine does not implement
index_init() it does not need to implement
index_end().
