Message204118
I agree overall with Martin, although time.time() could be made a little better on Windows by getting the Windows time directly (instead of "needlessly" losing info by going thru pygettimeofday). |
|
Date |
User |
Action |
Args |
2013-11-23 22:26:57 | tim.peters | set | recipients:
+ tim.peters, loewis, pitrou, vstinner |
2013-11-23 22:26:56 | tim.peters | set | messageid: <1385245616.99.0.192881521978.issue19738@psf.upfronthosting.co.za> |
2013-11-23 22:26:56 | tim.peters | link | issue19738 messages |
2013-11-23 22:26:56 | tim.peters | create | |
|