Message237148
Oh, mktime() returns the same timestamp with and without the leap second:
>>> time.mktime((2012, 6, 30, 23, 59, 59, -1, -1, -1))
1341093599.0
>>> time.mktime((2012, 6, 30, 23, 59, 60, -1, -1, -1))
1341093600.0
>>> time.mktime((2012, 7, 1, 0, 0, 0, -1, -1, -1))
1341093600.0 |
|
Date |
User |
Action |
Args |
2015-03-03 15:48:15 | vstinner | set | recipients:
+ vstinner, belopolsky, doughellmann |
2015-03-03 15:48:15 | vstinner | set | messageid: <1425397695.27.0.405286684078.issue23574@psf.upfronthosting.co.za> |
2015-03-03 15:48:15 | vstinner | link | issue23574 messages |
2015-03-03 15:48:15 | vstinner | create | |
|