--- a/src/server/daemon/resourcepool.c Thu Jan 30 18:19:12 2025 +0100 +++ b/src/server/daemon/resourcepool.c Thu Jan 30 18:29:30 2025 +0100 @@ -43,6 +43,10 @@ return resource_pool_types ? 0 : 1; } +void resource_pool_cleanup(void) { + cxMapDestroy(resource_pool_types); +} + int resourcepool_register_type(const char *type_name, ResourceType *type_info) { if(cxMapPut(resource_pool_types, cx_hash_key_str(type_name), type_info)) { log_ereport(LOG_CATASTROPHE, "resourcepool_register_type: OOM");