view close.cpp @ 657:4c4389325ae4

Better RNG initialization

On platforms where it's available, use gettimeofday() and mix in the ~20
bits that that gives to the high (slowly-changing) bits of the seconds
since the Epoch.

extern "C" {
#include "audioDB_API.h"
}
#include "audioDB-internals.h"

void audiodb_close(adb_t *adb) {
  free(adb->path);
  free(adb->header);
  delete adb->keys;
  delete adb->keymap;
  delete adb->track_lengths;
  delete adb->track_offsets;
  if(adb->cached_lsh) {
    delete adb->cached_lsh;
  }
  divest_lock(adb->fd);
  close(adb->fd);
  free(adb);
}