aboutsummaryrefslogtreecommitdiff
path: root/libraries/mbed/rtos/Makefile
diff options
context:
space:
mode:
authorRob Austein <sra@hactrn.net>2017-04-12 16:58:50 -0400
committerRob Austein <sra@hactrn.net>2017-04-12 16:58:50 -0400
commit108b532b9ae4c9138ad1a25e9ef437183711a05b (patch)
treefa7a5d851b1be348090a98bd12fd58e5f187967b /libraries/mbed/rtos/Makefile
parent4837c5d366e965e196828a2898e2471c592b85e1 (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