changeset 991:afe30d97ec32

Removed spaces from profile labels.
author Martin Geisler <mg@daimi.au.dk>
date Wed, 01 Oct 2008 14:05:20 +0200
parents fb3e23e8d36d
children 13a883981248
files viff/util.py
diffstat 1 files changed, 2 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/viff/util.py	Wed Oct 01 11:19:44 2008 +0200
+++ b/viff/util.py	Wed Oct 01 14:05:20 2008 +0200
@@ -297,7 +297,8 @@
 
     @wrapper(method)
     def profile_wrapper(self, *args, **kwargs):
-        label = "%s-%s" % (method.__name__, self.program_counter)
+        label = "%s %s" % (method.__name__,
+                           ".".join(map(str, self.program_counter)))
         begin(None, label)
         result = method(self, *args, **kwargs)
         if isinstance(result, Deferred):