On 26 April 2015 at 19:46, Thomas Gazagnaire <[email protected]> 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 [email protected] http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
