src/server/daemon/resourcepool.c

changeset 573
76ccfc2a932f
parent 563
6ca97c99173e
child 579
e10457d74fe1
--- 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");

mercurial