Re: [MirageOS-devel] Irmin watch API

[Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx>]

> 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)`

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