destroy_datafile_index

Destroys a datafile index.

Description

void destroy_datafile_index(DATAFILE_INDEX *index)
This function frees the memory used by a datafile index created with create_datafile_index earlier.
See Also: