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 successThese 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.
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
