Simplify timer selection to always use time.time() (#175)
In python2.7 and python3.3, time.time() is sufficient accurate for our purpose and avoids going through hoops to select the best available function. Signed-off-by: Niels Thykier <niels@thykier.net>
This commit is contained in:
parent
6ea126d290
commit
b622642aa1
1 changed files with 4 additions and 5 deletions
|
|
@ -74,10 +74,9 @@ VER = __version__
|
||||||
COPYRIGHT = u'Copyright Jeff Schiller, Louis Simard, 2010'
|
COPYRIGHT = u'Copyright Jeff Schiller, Louis Simard, 2010'
|
||||||
|
|
||||||
|
|
||||||
# select the most precise walltime measurement function available on the platform
|
# the walltime measurement function, we will use for reporting
|
||||||
if sys.platform.startswith('win'):
|
# reporting how long it took to process a given SVG file. For our
|
||||||
walltime = time.clock
|
# purposes, the time.time() function has sufficent accuracy.
|
||||||
else:
|
|
||||||
walltime = time.time
|
walltime = time.time
|
||||||
|
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue