[Ur] callbacks from C FFI (again)
Adam Chlipala
adamc at csail.mit.edu
Tue Jan 7 12:15:15 EST 2014
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!
More information about the Ur
mailing list