Hello all, this might be inapropriate, but nobody else I asked seemed to know: what are the leap seconds, and what happens with them? Most importantly, if a leap second occurs, does the tv_secs get incremented or not? Thanks. /Alby