ucx/mempool.c

changeset 240
8f937a3a6d11
parent 225
a1a068c2c4ef
child 241
661f33ef20d8
     1.1 --- a/ucx/mempool.c	Mon Feb 27 17:25:36 2017 +0100
     1.2 +++ b/ucx/mempool.c	Mon Mar 06 15:37:40 2017 +0100
     1.3 @@ -172,7 +172,7 @@
     1.4      }
     1.5      fprintf(stderr, "FATAL: 0x%08" PRIxPTR" not in mpool 0x%08" PRIxPTR"\n",
     1.6              (intptr_t)ptr, (intptr_t)pool);
     1.7 -    exit(EXIT_FAILURE);
     1.8 +    abort();
     1.9  }
    1.10  
    1.11  void ucx_mempool_destroy(UcxMempool *pool) {

mercurial