On 01/07/2014 10:46 AM, Sergey wrote:
On 05.01.2014 22:10, Adam Chlipala wrote:
For simplicity's sake, what do you think of implementing the
following two functions instead?
1) clone context but don't start a transaction for it (note that this
also opens a database connection, checks the schema, and creates
prepared statements!)
2) given a context and a URI, run the associated Ur/Web code in that
context in a new transaction associated only with this operation
Fine! I'll draft a patch and publish it.
Great, thanks!
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
