--- a/contrib/perf.py Tue May 31 20:39:04 2011 -0500 +++ b/contrib/perf.py Wed Jun 01 12:38:46 2011 +0200 @@ -8,7 +8,7 @@ results = [] begin = time.time() count = 0 - while 1: + while True: ostart = os.times() cstart = time.time() r = func()