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 _______________________________________________ gnhlug-discuss mailing list gnhlug-discuss@mail.gnhlug.org http://mail.gnhlug.org/mailman/listinfo/gnhlug-discuss/