eric6/DebugClients/Python/PyProfile.py

changeset 7836
2f0d208b8137
parent 7785
9978016560ec
child 7923
91e843545d9a
--- a/eric6/DebugClients/Python/PyProfile.py	Sat Nov 21 19:31:16 2020 +0100
+++ b/eric6/DebugClients/Python/PyProfile.py	Sun Nov 22 16:04:59 2020 +0100
@@ -56,7 +56,7 @@
                 timings = marshal.load(cache)       # secok
                 if isinstance(timings, dict):
                     self.timings = timings
-        except (EnvironmentError, EOFError, ValueError, TypeError):
+        except (OSError, EOFError, ValueError, TypeError):
             pass
     
     def save(self):
@@ -67,7 +67,7 @@
         try:
             with open(self.timingCache, 'wb') as cache:
                 marshal.dump(self.timings, cache)
-        except EnvironmentError:
+        except OSError:
             pass
         
         # dump the profile data
@@ -83,7 +83,7 @@
         try:
             with open(file, 'wb') as f:
                 pickle.dump(self.stats, f, 4)
-        except (EnvironmentError, pickle.PickleError):
+        except (OSError, pickle.PickleError):
             pass
 
     def erase(self):

eric ide

mercurial