contrib/perf.py
changeset 14494 1ffeeb91c55d
parent 14322 a90131b85fd8
child 14671 35c2cc322ba8
--- 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()