-
Bug
-
Resolution: Done
-
Major
-
None
-
None
-
None
If the timer fires at the same time as an update it results in the child being propagated twice. We need to synchronize to ensure that this does not happen. The update should cancel the timer, so it doens't try and schedule a propagation.