Comment 2 for bug 1830738

Revision history for this message
Al Smith (ajs1k) wrote :

Or perhaps this:

if 'process_time' in dir(time):
    t = time.process_time()
else:
    t = time.clock()