Ticket #6255: timing.patch

File timing.patch, 1.2 KB (added by hivert, 10 years ago)

Experimental timing patch

  • builders/__init__.py

    # HG changeset patch
    # User Florent Hivert <Florent.Hivert@univ-rouen.fr>
    # Date 1335006316 -7200
    # Node ID 5e10ad3f16da15a33dff7ea01cb2bb365930438e
    # Parent  0c995f66400124fb0b3c68c62592bdd273431c61
    [mq]: timing.patch
    
    diff --git a/builders/__init__.py b/builders/__init__.py
    a b  
    1111
    1212import os
    1313from os import path
     14import time
    1415
    1516from docutils import nodes
    1617
    class Builder(object): 
    116117                yield item
    117118            return
    118119        l = 0
     120        starttime = time.time()
    119121        summary = bold(summary)
    120122        for item in iterable:
    121123            l += 1
    122             self.info(term_width_line('%s[%3d%%] %s' %
    123                                       (summary, 100*l/length,
     124            elapsed = time.time() - starttime
     125            self.info(term_width_line('%s[%3d%%,%5.1fs] %s' %
     126                                      (summary, 100*l/length, elapsed,
    124127                                       colorfunc(item))), nonl=1)
    125128            yield item
    126129        if l > 0:
    127130            self.info()
     131            self.info('%s Elapsed time = %s'%(summary,
     132                                              time.time() - starttime))
    128133
    129134    supported_image_types = []
    130135