# process time
# Credit Barton
for process_time1()
from time import sleep
import time
import datetime
def formatSec(seconds):
micro = int(seconds%1*1000)
days =
float(seconds)/86400
hours = days%1*24
minutes =
hours%1*60
seconds = minutes%1*60
if int(days) > 0:
outStr
= '%d days,' % days
else:
outStr
= ''
outStr
= ''.join([outStr, '%02d:%02d:%02d' % (hours,
minutes, seconds)])
if micro > 0:
outStr
+= ' and %d milliseconds' % micro
return outStr
def process_time1(sec=10):
startTime
= time.time()
for i in range(0,sec):
sleep(i)
elapsedTime
= time.time() - startTime
t = datetime.time(0,0,int(elapsedTime), int((elapsedTime%1)*1000000))
print t.isoformat()
if __name__ == '__main__':
t1 = time.time()
# process_time1(2)
time.sleep(3.75987)
t2 = time.time()
print formatSec(t2-t1)
# >>>
00:
'''
>>> formatSec(17000)
'04:43:20'
>>>
'''