subscripti...@burble.com said: > My linux boxes also did a double 59: > Wed Jul 1 00:59:58 BST 2015 > Wed Jul 1 00:59:59 BST 2015 > Wed Jul 1 00:59:59 BST 2015 > Wed Jul 1 01:00:00 BST 2015 > Wed Jul 1 01:00:01 BST 2015
That's to be expected (unless you have fancy software). Internally, Linux (and most other modern OSes) use UTC. The API doesn't include the TAI offset. There is no way to talk about the extra second. The same problem happens with the switch to summer time. You need the time-zone to tell if the time within the magic extra hour is summer time or winter time. Without the zone, you have to pick one and then there is no way to talk about the other one. To insert the extra second, Linux just sets the time back 1 second, the same way you set your clocks and watches back in the fall. -- These are my opinions. I hate spam. _______________________________________________ time-nuts mailing list -- time-nuts@febo.com To unsubscribe, go to https://www.febo.com/cgi-bin/mailman/listinfo/time-nuts and follow the instructions there.