Re: [MirageOS-devel] Irmin watch API

[Thomas Leonard <talex5@xxxxxxxxx>]

On 26 April 2015 at 19:46, Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx> wrote:
>> The situation I'm not sure about is:
>>
>> 1. I read the head (at c1).
>> 2. (the head is updated to c2 by another tab)
>> 3. I call I.watch_head to get notifications.
>>
>> The change happened before I asked Irmin to watch the head, so I
>> assume it won't notify me (unless it always starts with a notification
>> even when there is no change, in which case this should be
>> documented).
>
> If you call 3. with init=(head c1) then you'll get an immediate notification 
> with `Updated (head c1, head c2)`

OK, that's perfect then! Thanks,


-- 
Dr Thomas Leonard        http://roscidus.com/blog/
GPG: DA98 25AE CAD0 8975 7CDA  BD8E 0713 3F96 CA74 D8BA

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel