Python question
Paul Lussier
p.lussier at comcast.net
Tue Jan 6 16:26:34 EST 2009
Hi Folks,
Is there a python way to get HH:MM:SS from time.localtime() ?
I'm trying to time how long it takes a python script to run and have
thus done:
BEGIN = time.time()
....
END = time.time()
ELAPSED = END - BEGIN
So, now I have a number like 1231265125.36
Which is great, and I can write the code necessary to convert it, but
figured that this wheel is probably already invented.
And, since I'm just learning python, all better ideas are welcome :)
--
Seeya,
Paul
More information about the gnhlug-discuss
mailing list