diff options
| author |  mschaller <mschaller@google.com> | 2018-06-18 09:15:42 -0700 |
|---|---|---|
| committer |  Copybara-Service <copybara-piper@google.com> | 2018-06-18 09:17:06 -0700 |
| commit | 29a7e0579aa7ff3633e92c3c9de06c878b1d14c7 (patch) | |
| tree | 38959c05dffac5be5d31009aef265736d02c1892 /scripts | |
| parent | 4dd6dacf2d095ec712eeecdb3b476c851674d382 (diff) | |
Permit marking dirty/changed a node more than once
This functionality will be useful for node restarting. More than one
parent node may request the restart of a shared child node, and this
should not fail.
Instead, the returned MarkedDirtyResult indicates whether the dirtying
was redundant, and the calling code can assert on that.
RELNOTES: None.
PiperOrigin-RevId: 201005663
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions