[Ur] howto register cleanup which is neither uw_malloc nor transactional?

Adam Chlipala adamc at impredicative.com
Sat Dec 4 10:50:34 EST 2010


Adam Chlipala wrote:
> Marc Weber wrote:
>> - one callback to clear the cache (eg of http requests) after a request
>>    stops being executed which is called in all cases:
>>      * retried too often, fatal, or success
>
> These both seem like straightforward uses of the "free" callback 
> passed to uw_register_transactional().

On second thought, I didn't read the question carefully enough.  You 
would probably want a small modification where the "free" callback is 
passed an argument explaining which kind of request termination 
triggered this.  I can add that.



More information about the Ur mailing list