# HG changeset patch
# User Mike Becker <universe@uap-core.de>
# Date 1488811060 -3600
# Node ID 8f937a3a6d11513776ae6d41001545fe289d18c2
# Parent  1634c3ea89dae9ac332dd9ce14fd3b20001ad89f
ucx_mempool_free() aborts execution instead of just exiting on failure

diff -r 1634c3ea89da -r 8f937a3a6d11 ucx/mempool.c
--- a/ucx/mempool.c	Mon Feb 27 17:25:36 2017 +0100
+++ b/ucx/mempool.c	Mon Mar 06 15:37:40 2017 +0100
@@ -172,7 +172,7 @@
     }
     fprintf(stderr, "FATAL: 0x%08" PRIxPTR" not in mpool 0x%08" PRIxPTR"\n",
             (intptr_t)ptr, (intptr_t)pool);
-    exit(EXIT_FAILURE);
+    abort();
 }
 
 void ucx_mempool_destroy(UcxMempool *pool) {