diff options
| author | Rob Austein <sra@hactrn.net> | 2017-04-12 16:58:50 -0400 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2017-04-12 16:58:50 -0400 |
| commit | 108b532b9ae4c9138ad1a25e9ef437183711a05b (patch) | |
| tree | fa7a5d851b1be348090a98bd12fd58e5f187967b /libraries/mbed/rtos/Makefile | |
| parent | 4837c5d366e965e196828a2898e2471c592b85e1 (diff) | |
Handle race condition while fetching key metadata for display.
Fetching a list of keys and all of their metadata isn't an atomic
process, nor, probably, should it be, so we need to cope with things
like a key being deleted via the RPC interface while we're fetching
its metadata for display on the console interface.
Diffstat (limited to 'libraries/mbed/rtos/Makefile')
0 files changed, 0 insertions, 0 deletions