diff -r e70418bb14b1 -r 76ccfc2a932f src/server/daemon/resourcepool.c
--- 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");