void lumiera_filedescriptorregistry_destroy (void) { TRACE (filedescriptor_dbg); REQUIRE (!psplay_nelements (filedescriptorregistry)); lumiera_mutex_destroy (&filedescriptorregistry_mutex, &NOBUG_FLAG (mutex_dbg), NOBUG_CONTEXT); if (filedescriptorregistry) psplay_delete (filedescriptorregistry); filedescriptorregistry = NULL; }
void lumiera_backend_destroy (void) { TRACE (backend_dbg); lumiera_mmapcache_delete (); lumiera_filehandlecache_delete (); lumiera_filedescriptorregistry_destroy (); lumiera_threadpool_destroy (); lumiera_safeclib_set_resourcecollector (NULL); mpool_init_hook = NULL; mpool_destroy_hook = NULL; mpool_malloc_hook = malloc; mpool_free_hook = free; lumiera_resourcecollector_destroy (); lumiera_mutex_destroy (&lumiera_filecreate_mutex, &NOBUG_FLAG (mutex_dbg), NOBUG_CONTEXT); }