Revision 7f8ba25b
| ID | 7f8ba25ba174173e58e73ff76e29e82de79e3c38 |
| Parent | 191dff7f |
| Child | 23b13756 |
Move configuration flush to a synchronized block
This ensures that the configuration is fully distributed and doesn't
change during the verification process.
Signed-off-by: Petr Pudlak <pudlak@google.com>
Reviewed-by: Klaus Aehlig <aehlig@google.com>
Files
- added
- modified
- copied
- renamed
- deleted