diff options
| author | Svetoslav Ganov <svetoslavganov@google.com> | 2016-06-17 15:27:43 -0700 |
|---|---|---|
| committer | Svetoslav Ganov <svetoslavganov@google.com> | 2016-06-17 15:30:45 -0700 |
| commit | 8c35dcc7ae956394a6513f4ced8359f56260fbc4 (patch) | |
| tree | 139462c056d368a158e2a447fa4baf3d478596d1 /tools/aapt2/diff/Diff.cpp | |
| parent | 8e8fb7dda0bcc944e72e2dd324fb51bf6a44519b (diff) | |
Fix a race in local settings caches
We send a handle to the generation tracker along with the first accessed
setting but don't send the generation id of when the setting was
actually looked up. So by the time the client gets the setting with the
generation tracker from which to get and cache the last generation the
setting may have changed. We need to pass the generation id along with
the value and the generation tracker.
bug:29458487
Change-Id: I0ac4955ba5b10b547f8fe653a7c28e048a4691eb
Diffstat (limited to 'tools/aapt2/diff/Diff.cpp')
0 files changed, 0 insertions, 0 deletions