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