DataViews/PyProfileDialog.py

changeset 982
a1abe3018d04
parent 945
8cd4d08fa9f6
child 1112
8a7d1b9d18db
--- a/DataViews/PyProfileDialog.py	Wed Apr 13 19:53:47 2011 +0200
+++ b/DataViews/PyProfileDialog.py	Fri Apr 15 18:23:15 2011 +0200
@@ -221,7 +221,7 @@
             f = open(fname, 'rb')
             self.stats = pickle.load(f)
             f.close()
-        except (EnvironmentError, pickle.PickleError):
+        except (EnvironmentError, pickle.PickleError, EOFError):
             E5MessageBox.critical(self,
                 self.trUtf8("Loading Profiling Data"),
                 self.trUtf8("""<p>The profiling data could not be"""

eric ide

mercurial