diff -r bdec069d2239 -r 73b3485e96f1 src/server/config/initconf.c
--- a/src/server/config/initconf.c	Thu Jul 11 14:21:23 2013 +0200
+++ b/src/server/config/initconf.c	Tue Jul 16 12:14:13 2013 +0200
@@ -55,7 +55,7 @@
 }
 
 void free_init_config(InitConfig *conf) {
-    ucx_mempool_free(conf->parser.mp);
+    ucx_mempool_destroy(conf->parser.mp);
     free(conf);
 }