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