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