--- a/src/server/daemon/session.h	Tue Aug 13 22:14:32 2019 +0200
+++ b/src/server/daemon/session.h	Thu Oct 31 10:26:35 2019 +0100
@@ -47,6 +47,8 @@
     threadpool_t *currentpool;
     threadpool_t *defaultpool;
     
+    UcxAllocator allocator;
+    
     ServerConfiguration *config;
 };
 
@@ -57,6 +59,8 @@
 // get the server configuration of this session
 NSAPI_PUBLIC void* session_get_config(Session *s);
 
+NSAPI_PUBLIC void* session_get_allocator(Session *sn);
+
 #ifdef	__cplusplus
 }
 #endif