diff options
author | Christoph Reiter <reiter.christoph@gmail.com> | 2019-04-17 20:33:12 +0200 |
---|---|---|
committer | Christoph Reiter <reiter.christoph@gmail.com> | 2019-04-17 20:33:12 +0200 |
commit | 2e9554ec13e362dc1d289e2f4ba4ad79e1c1ef1a (patch) | |
tree | be4ba286d7848a98b5d032b69e6315ef50362e5b /docs/website/tools | |
parent | 7f809c314ec3283d8f85c4a3557ccca42f118c63 (diff) | |
download | gobject-introspection-2e9554ec13e362dc1d289e2f4ba4ad79e1c1ef1a.tar.gz |
cachestore: handle cache getting deleted while loading it. Fixes #278
In the unlucky event where the cache gets deleted after the os.path.exists()
check but before we get its mtime things would error out.
Instead of using os.path.exists() handle the exceptions of the operations
which we expect to possibly fail.
Diffstat (limited to 'docs/website/tools')
0 files changed, 0 insertions, 0 deletions