diff sat/memory/cache.py @ 3573:813595f88612

merge changes from main branch
author Goffi <goffi@goffi.org>
date Thu, 17 Jun 2021 13:05:58 +0200
parents b3fa179417e7
children 2863345c9bbb
line wrap: on
line diff
--- a/sat/memory/cache.py	Thu Jun 03 15:21:43 2021 +0200
+++ b/sat/memory/cache.py	Thu Jun 17 13:05:58 2021 +0200
@@ -140,7 +140,7 @@
         try:
             with cache_url.open("rb") as f:
                 cache_data = pickle.load(f)
-        except IOError as e:
+        except (IOError, EOFError) as e:
             log.warning(f"can't read cache at {cache_url}: {e}")
             return None
         except pickle.UnpicklingError: