diff -r e70418bb14b1 -r 76ccfc2a932f src/server/daemon/resourcepool.h
--- a/src/server/daemon/resourcepool.h	Thu Jan 30 18:19:12 2025 +0100
+++ b/src/server/daemon/resourcepool.h	Thu Jan 30 18:29:30 2025 +0100
@@ -116,6 +116,8 @@
 
 int init_resource_pools(void);
 
+void resource_pool_cleanup(void);
+
 int resourcepool_new(ServerConfiguration *cfg, cxstring type, cxstring name, ConfigNode *node);
 
 void resourcepool_destroy_resource(ResourceDataPrivate *res);