Mikä on WikiWiki?
nettipäiväkirja
koko wiki (etsi)
viime muutokset
Tää on tällainen "päivän random java-valitus" (joita muuten joskus kirjoittelin säännöllisemmin kun jouduin käyttämään tätä kieltä joka päivä; katso the daily Java WTF).
Opin juuri että java.time.Instant kyllä toteuttaa karkaussekunnit, mutta ei standardien mukaisesti karkaussekuntipäivän lopussa, vaan jakamalla ne tasan päivän viimeiselle 1000 sekunnille. Eli jos esim pyöristää lähimpään sekuntiin niin karkaussekuntipäivän viimeisellä 500 sekunnilla java.time.Instant.now() palauttaa väärän sekunnin.
Ei nyt mielettömän vakavaa mutta ihan sairaan ärsyttävää -- jos ylipäänsä jaksaa toteuttaa karkaussekunnit, eikö ne vois toteuttaa oikein?
No joo.