diff -r 1b59c4ba121e -r 8cd4d08fa9f6 DebugClients/Python3/PyProfile.py
--- a/DebugClients/Python3/PyProfile.py Fri Mar 11 08:55:14 2011 +0100
+++ b/DebugClients/Python3/PyProfile.py Fri Mar 11 16:51:57 2011 +0100
@@ -12,16 +12,17 @@
import atexit
import pickle
+
class PyProfile(profile.Profile):
"""
Class extending the standard Python profiler with additional methods.
This class extends the standard Python profiler by the functionality to
save the collected timing data in a timing cache, to restore these data
- on subsequent calls, to store a profile dump to a standard filename and
+ on subsequent calls, to store a profile dump to a standard filename and
to erase these caches.
"""
- def __init__(self, basename, timer = None, bias = None):
+ def __init__(self, basename, timer=None, bias=None):
"""
Constructor
