-
Committer:
John Arbash Meinel
-
Date:
2006-11-03 23:29:49 UTC
-
mto:
This revision was merged to the branch mainline in
revision
2121.
-
Revision ID:
john@arbash-meinel.com-20061103232949-72f71bdbde11ed6b
Use time.time() because time.clock() is CPU time, not wall time