viff

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 diff
     1.1 --- a/viff/util.py	Wed Oct 01 11:19:44 2008 +0200
     1.2 +++ b/viff/util.py	Wed Oct 01 14:05:20 2008 +0200
     1.3 @@ -297,7 +297,8 @@
     1.4  
     1.5      @wrapper(method)
     1.6      def profile_wrapper(self, *args, **kwargs):
     1.7 -        label = "%s-%s" % (method.__name__, self.program_counter)
     1.8 +        label = "%s %s" % (method.__name__,
     1.9 +                           ".".join(map(str, self.program_counter)))
    1.10          begin(None, label)
    1.11          result = method(self, *args, **kwargs)
    1.12          if isinstance(result, Deferred):