Am 1. Juli 2012 wurde in die Weltzeit eine Sekunde eingefügt, um sie wieder mit der Erd-Drehung abzugleichen. Damit haben, so hat man erst im Nachhinein festgestellt, einige Server Probleme. Unter anderem solche, die Java nutzen.
In der Nacht zum 1. Juli wurde um Punkt 2.00 Uhr deutscher Zeit eine Sekunde eingefügt. Eine Schaltsekunde. Damit unsere Uhren akurat gehen. Das ist dann und wann nötig – und erfolgt ohne großes Tammtamm, anders als die Umstellung von Winter- auf Sommerzeit. Doch die Schaltsekunde hat einige Linux-Server aus dem Takt gebracht.
