Simplify timer selection to always use time.time()
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
b661a90fc5
1 changed files with 4 additions and 5 deletions
|
|
@ -74,11 +74,10 @@ VER = __version__
|
|||
COPYRIGHT = u'Copyright Jeff Schiller, Louis Simard, 2010'
|
||||
|
||||
|
||||
# select the most precise walltime measurement function available on the platform
|
||||
if sys.platform.startswith('win'):
|
||||
walltime = time.clock
|
||||
else:
|
||||
walltime = time.time
|
||||
# the walltime measurement function, we will use for reporting
|
||||
# reporting how long it took to process a given SVG file. For our
|
||||
# purposes, the time.time() function has sufficent accuracy.
|
||||
walltime = time.time
|
||||
|
||||
|
||||
NS = {'SVG': 'http://www.w3.org/2000/svg',
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue