| Index: Source/bindings/scripts/utilities.py
|
| diff --git a/Source/bindings/scripts/utilities.py b/Source/bindings/scripts/utilities.py
|
| index 2cbd359087fea582e96292bfb9322045c6532096..9ea01d71e6c45ecc1cf7f07086303d1542c8cab8 100644
|
| --- a/Source/bindings/scripts/utilities.py
|
| +++ b/Source/bindings/scripts/utilities.py
|
| @@ -116,7 +116,7 @@ def write_pickle_file(pickle_filename, data, only_if_changed):
|
| try:
|
| if pickle.load(pickle_file) == data:
|
| return
|
| - except (EOFError, pickle.UnpicklingError):
|
| + except Exception:
|
| # If trouble unpickling, overwrite
|
| pass
|
| with open(pickle_filename, 'w') as pickle_file:
|
|
|