Use time.time() instead of time.millitimer()

This commit is contained in:
Guido van Rossum 1994-02-17 12:36:58 +00:00
parent d9193c67d6
commit e69d3fec87
3 changed files with 11 additions and 11 deletions

View file

@ -6,17 +6,17 @@ import sys, os, time
def TSTART():
global t0, t1
u, s, cu, cs = os.times()
t0 = u+cu, s+cs, time.millitimer()
t0 = u+cu, s+cs, time.time()
def TSTOP(*label):
global t0, t1
u, s, cu, cs = os.times()
t1 = u+cu, s+cs, time.millitimer()
t1 = u+cu, s+cs, time.time()
tt = []
for i in range(3):
tt.append(t1[i] - t0[i])
[u, s, r] = tt
msg = ''
for x in label: msg = msg + (x + ' ')
msg = msg + `u` + ' user, ' + `s` + ' sys, ' + `r*0.001` + ' real\n'
msg = msg + `u` + ' user, ' + `s` + ' sys, ' + `r` + ' real\n'
sys.stderr.write(msg)