Adam Chlipala wrote:
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.
OK, I've added a new argument to the "free" callback which is a simple
boolean flag telling whether a retry is expected afterward. (This is in
the public repo.)
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
