DebugClients/Python/PyProfile.py

changeset 4563
881340f4bd0c
parent 4543
2e6a880670e9
child 4631
5c1a96925da4
equal deleted inserted replaced
4561:5bc6ed226471 4563:881340f4bd0c
55 cache = open(self.timingCache, 'rb') 55 cache = open(self.timingCache, 'rb')
56 timings = marshal.load(cache) 56 timings = marshal.load(cache)
57 cache.close() 57 cache.close()
58 if isinstance(timings, type.DictType): 58 if isinstance(timings, type.DictType):
59 self.timings = timings 59 self.timings = timings
60 except: 60 except Exception:
61 pass 61 pass
62 62
63 def save(self): 63 def save(self):
64 """ 64 """
65 Public method to store the collected profile data. 65 Public method to store the collected profile data.

eric ide

mercurial