Long-standing error in exception handling by pool_allocator (contains untested patch)

[Paolo Carlini]

Dhruv Matani wrote:

>Hoewever, I yet haven't provided a patch. I attached the whole file by
>mistake!
>
>Here it goes again ;-)
>  
>
Dhruv, your (many months late) patch, is identical to that provided by 
Joachim
modulo exactly those two nits that we have corrected (like using plain 
throw,
instead of __throw_exception_again). Sorry, again.

Paolo.