[Ur] MySQL+InnoDB-backed sequences reset on database restart

[Istvan Chung]

I meant that sequences themselves could be implemented in this way; is
that a possibility?

On 06/14/2013 03:47 PM, Adam Chlipala wrote:
> That's a local solution outside the Ur/Web implementation, but I'd still
> like to find a way to keep the semantics of Ur/Web sequences consistent
> across database backends.
> 
> On 06/14/2013 02:13 PM, Istvan Chung wrote:
>> Well, another option could be to just maintain our own counter and
>> increment it manually, forgoing AUTO_INCREMENT entirely.
>>
> 
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur


-- 
Istvan Chung