eric6/DataViews/PyProfileDialog.py

changeset 7785
9978016560ec
parent 7780
41420f82c0ac
child 7836
2f0d208b8137
equal deleted inserted replaced
7784:3257703e10c5 7785:9978016560ec
238 """ available for <b>{0}</b>.</p>""") 238 """ available for <b>{0}</b>.</p>""")
239 .format(pfn)) 239 .format(pfn))
240 self.close() 240 self.close()
241 return 241 return
242 try: 242 try:
243 f = open(fname, 'rb') 243 with open(fname, 'rb') as f:
244 self.stats = pickle.load(f) # secok 244 self.stats = pickle.load(f) # secok
245 f.close()
246 except (EnvironmentError, pickle.PickleError, EOFError): 245 except (EnvironmentError, pickle.PickleError, EOFError):
247 E5MessageBox.critical( 246 E5MessageBox.critical(
248 self, 247 self,
249 self.tr("Loading Profiling Data"), 248 self.tr("Loading Profiling Data"),
250 self.tr("""<p>The profiling data could not be""" 249 self.tr("""<p>The profiling data could not be"""

eric ide

mercurial