> 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 [email protected] http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
