free

Cleans up the database and deallocates memory allocated at initialization. This is never called in normal operation of the system.

void free(
 void );