kore

commit 80698ee40aa56648e9ac7edf390e8b518e2afa66
parent de7a6d48552f96bdc12512148fc013238838330e
Author: Joris Vink <joris@coders.se>
Date:   Mon,  6 Feb 2017 11:42:23 +0100

add kore_mem_cleanup() to cleanup pools at exit.

Diffstat:
src/mem.c
 | 
10
++++++++++

1 file changed, 10 insertions(+), 0 deletions(-)
diff --git a/src/mem.c b/src/mem.c
@@ -69,6 +69,16 @@ kore_mem_init(void)
 	}
 }
 
+void
+kore_mem_cleanup(void)
+{
+	int		i;
+
+	for (i = 0; i < KORE_MEM_BLOCKS; i++) {
+		kore_pool_cleanup(&blocks[i].pool);
+	}
+}
+
 void *
 kore_malloc(size_t len)
 {