diff -r f21b4ff81c01 -r b9a447b02046 src/server/daemon/resourcepool.h
--- a/src/server/daemon/resourcepool.h	Fri Mar 10 22:45:58 2023 +0100
+++ b/src/server/daemon/resourcepool.h	Fri Mar 10 23:00:02 2023 +0100
@@ -67,6 +67,11 @@
     ResourceType *type;
     
     /*
+     * The name of the resource pool
+     */
+    char *name;
+    
+    /*
      * Data returned by the ResourceType init function
      * When the pool is destroyed, the data should be passed to
      * ResourceType.destroy