2012-12-25 05:43:31 +00:00
|
|
|
# -*- coding: utf-8 -*-
|
|
|
|
"""
|
|
|
|
ptime.py - Precision time function made os-independent (should have been taken care of by python)
|
|
|
|
Copyright 2010 Luke Campagnola
|
|
|
|
Distributed under MIT/X11 license. See license.txt for more infomation.
|
|
|
|
"""
|
|
|
|
|
|
|
|
|
|
|
|
import sys
|
|
|
|
import time as systime
|
|
|
|
START_TIME = None
|
|
|
|
time = None
|
|
|
|
|
|
|
|
def winTime():
|
|
|
|
"""Return the current time in seconds with high precision (windows version, use Manager.time() to stay platform independent)."""
|
|
|
|
return systime.clock() + START_TIME
|
|
|
|
#return systime.time()
|
|
|
|
|
|
|
|
def unixTime():
|
|
|
|
"""Return the current time in seconds with high precision (unix version, use Manager.time() to stay platform independent)."""
|
|
|
|
return systime.time()
|
|
|
|
|
2013-01-30 20:51:38 +00:00
|
|
|
if sys.platform.startswith('win'):
|
2012-12-25 05:43:31 +00:00
|
|
|
cstart = systime.clock() ### Required to start the clock in windows
|
|
|
|
START_TIME = systime.time() - cstart
|
|
|
|
|
|
|
|
time = winTime
|
|
|
|
else:
|
|
|
|
time = unixTime
|
|
|
|
|