1.1 --- a/ucx/mempool.h Tue Oct 27 15:29:34 2015 +0100
1.2 +++ b/ucx/mempool.h Fri Feb 26 14:59:52 2016 +0100
1.3 @@ -127,10 +127,8 @@
1.4 /**
1.5 * Reallocates pooled memory.
1.6 *
1.7 - * If the memory to be reallocated is not contained by the specified pool, this
1.8 - * function will possibly fail. In case the memory had to be moved to another
1.9 - * location, this function will print out a message to <code>stderr</code>
1.10 - * and exit the program with error code <code>EXIT_FAILURE</code>.
1.11 + * If the memory to be reallocated is not contained by the specified pool, the
1.12 + * behavior is undefined.
1.13 *
1.14 * @param pool the memory pool
1.15 * @param ptr a pointer to the memory that shall be reallocated
1.16 @@ -146,10 +144,8 @@
1.17 * Before freeing the memory, the specified destructor function (if any)
1.18 * is called.
1.19 *
1.20 - * If you specify memory, that is not pooled by the specified memory pool, this
1.21 - * is considered as a severe error and an error message is written to
1.22 - * <code>stderr</code> and the application is shut down with code
1.23 - * <code>EXIT_FAILURE</code>.
1.24 + * If you specify memory, that is not pooled by the specified memory pool, the
1.25 + * behavior is undefined.
1.26 *
1.27 * @param pool the memory pool
1.28 * @param ptr a pointer to the memory that shall be freed
